Mathematics 141A

Mathematical Logic I (207500)

Alejandro Poveda Ruzafa, Peter Koellner

2024 Fall (4 Credits)

Schedule: TR 0300 PM - 0415 PM

Instructor Permissions: None

Enrollment Cap: n/a

Introduction to mathematical logic focusing on the fundamentals of first-order logic (language, axioms, completeness theorem, etc.) and the basic results of model theory (compactness), Lowenheim-Skolem, omitting typesetc.

: