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

MATH 24, MATH 54, or MATH 71; or Instructor Permission.

Degree Requirement Attributes

QDS

The Courses@Dartmouth 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.