everything.study
PMATH 432

Mathematical Logic

Undergraduate

Fall 2024

Readings

  • An Invitation to Mathematical Logic
    required
Winter 2022 · First Order Logic and Computability

Topics

  • First-order logic, syntax and semantics of first-order logic, formal proof system, completeness, compactness, ultraproducts and complete theories, L ̈ owenheim-Skolem theorems, Turing machines, the Halting Problem, G ̈ odel’s in- completeness theorem, other topics.

Readings

  • H.-D. Ebbinghaus, J. Flum and W. Thomas, Mathematical Logic, 2nd Ed., Undergraduate Texts in Mathematics, Springer, 1994.
    2nd Ed. · unspecified
Sources