Logic (Honors Section of MATH 39)

Undergraduate

This course begins with a study of relational systems as they occur in mathematics. First-order languages suitable for formalizing such systems are treated in detail, and several important theorems about such languages, including the compactness and Lowenheim-Skolem theorems, are studied. The implications of these theorems for the mathematical theories being formulated are assessed. Emphasis is placed on those problems relating to first-order languages that are of fundamental interest in logic. Offered in alternate years.