Mathematics 143

Mathematical Logic I: Logic-- Completeness (111905)

Peter Koellner

2026 Fall (4 Credits)

Schedule: WF 1030 AM - 1145 AM

Instructor Permissions: None

Enrollment Cap: n/a

An introduction to first-order logic (the basis of mathematical reasoning) from a meta-mathematical point of view. Topics include: The axiomatic method, the principles of first-order logic, the meta-mathematical point of view, the central theorems (soundness and completeness), and the expressive limitations (Löwenheim-Skolem).

Course notes::

An additional hour of lecture will be scheduled independently.

Recommended Prep::

Familiarity with proof based mathematical reasoning at the level of Math 22a, 25a, 55a or Math 101

Course Requirements::

Anti-Requisite: Cannot be taken for credit if MATH 141A or PHIL 143 already complete or in progress.

Jointly Offered with::

Faculty of Arts Sciences as PHIL 143

: