PMATH 632Mathematical Logic

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

When it runs

Ran in 3 of the last 7 terms. Winter 2027: not on the schedule. Spring 2027: schedule not out yet.

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.

Fall 2026 sections

Enrolment from UW Open Data, which can trail Quest by up to two days. Instructors and rooms: Schedule of Classes.
Section	Class	Enrolled	Meets
LEC 001	6611	3 / 10	MWF 10:30–11:20

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