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.

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.

Degree Requirement Attributes

QDS

The Timetable of Class Meetings contains the most up-to-date information about a course. It includes not only the meeting time and instructor, but also its official distributive and/or world culture designation. This information supersedes any information you may see elsewhere, to include what may appear in this ORC/Catalog or on a department/program website. Note that course attributes may change term to term therefore those in effect are those (only) during the term in which you enroll in the course.

Offered

• Winter