PMATH 632Mathematical Logic

Units: 0.50
Level: Graduate
Faculty: Mathematics
Subject: Pure Mathematics

PMATH 632 as listed in the Fall 2026 Graduate Calendar. The main page has the current version, when it runs, and seats.

First-order languages and structures, syntactic provability and semantic truth, the soundness and completeness theorems, compactness and its consequences, elementary equivalence, the ZFC axioms of set theory, ordinals, cardinals, computability and Goedel’s incompleteness theorem.

Prerequisites

None listed.

Antirequisites

Not completed nor concurrently enrolled in:
- PMATH432

Leads to

No course lists it as a requisite.

Check it elsewhere for Fall 2026

Graduate Calendar, Fall 2026The official entry
Requirements for Fall 2026Waterloo’s requisite checker
Schedule of Classes, Fall 2026Instructors, rooms, live seats
Quest Class SearchWhere you enrol
Course outlinesSyllabi from past terms (UW login)
UW FlowStudent ratings and reviews
WClassesPast sections back to 2004, and who taught them

Calendar versions

Graduate Calendar

Older Graduate Calendars

In 42 terms, Fall 2006 to Winter 2024