MATH 69 Logic (Honors Section of MATH 39)
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.
Instructor
Groszek
Prerequisite
experience with mathematical structures and proofs, as offered by such courses as
MATH 71,
MATH 54, or
MATH 24; or permission of the instructor.