PMATH 433Model Theory
- Units
- 0.50
- Faculty
- Mathematics
- Subject
- Pure Mathematics
When it runs
- F24
- W25
- S25
- F25
- W26
- S26
- F26
- W27
- S27
Ran in 1 of the last 7 terms. Winter 2027: scheduled, 2 lecture sections. Spring 2027: schedule not out yet.
Definable sets, quantifier elimination, algebraically closed fields, real closed fields, omitting types and prime models, interpretation and imaginaries, types, saturation, strongly minimal sets and the Zilber trichotomy, forking, and independence.
Prerequisites
- Must have completed the following:
- PMATH432 - Mathematical Logic (0.50)
Antirequisites
None listed.
Leads to
No course lists it as a requisite.
Winter 2027 sections
| Section | Class | Enrolled | Meets |
|---|---|---|---|
| LEC 001 | 7444 | 0 / 20 | MWF 15:30–16:20 |
| LEC 701 | 8271 | 1 / 9999 | Online or by arrangement |
Reviewed on UW Flow
100% liked it0% easy50% useful
From 3 ratings on UW Flow. Read them all on UW Flow.
Discussed on r/uwaterloo
7 posts and comments in 6 threads mention PMATH 433, May 2016 to December 2024. Quoted word for word, newest first; each reply sits under the post and the comment that started its branch. Search r/uwaterloo for newer posts.
Spring 2021
Officially Awarded Degree by UWaterloo! AMA for my university experience 4 points, 27 comments
“Background information for question drafting: \- CS, PMath, co-op (used to consider Math Finance) \- Almost non-existence programming experience prior to entering Waterloo \- International \- Joined …”
[deleted]: “planning on taking the same course plan. Have a bunch of questions. Did you do the joint or the double? Looking back, would you have taken the other? Have you considered pmath grad school? …”
u/new_jan_2018: “… Mostly so, except the times when I was struggling with certain assignments (particularly the programming-heavy CS assignment like CS 343, and also PMATH 433 that was too abstract for me). …”
u/iKDX: “Really interested in your PMath component coming from a CS major. Which classes did you take? Was it double major or PMath minor? Was it easy? Was it useful? Did employers care you did PMath? …”
u/new_jan_2018: “The 6 required PMATH courses, and also PMATH 440, 445, 433. Double major. No :) For me it's manageable, but that's because I am strong in writing proofs and enjoy it a lot! …”
Spring 2019
Can more new grads post their undergrad stats please? 26 points, 64 comments
“They're fun to read.”
u/snewdity: “… Lowest grade: ENGL 109 (78) Lowest PMATH course: PMATH 347 (90) Favorite PMATH course: PMATH 433 (97) Least favorite PMATH course: PMATH 445 (99) Favorite elective: RUSS 101 (93) Least favorite elective: ECON 101 (94) Number of all nighters: 0 Honourable mention: stayed up to …”
any logic course to take at UW 11 points, 8 comments
“I actually love the content of cs245 and want to learn more logic.”
u/Math_failuree: “Pmath 433 Pmath 432 might interest you. Both require pmath 347. 347 is interesting and it requires 235/245. You can try to override it though.”
Spring 2018
Courses like CS245? 2 points, 4 comments
“I really enjoyed CS245 (took the E section with Shai Ben-David). I liked how all these concepts like satisfiability and L-structures and soundness/completeness came together and I’m interested in …”
u/PPewt: “… Your best bet if you're interested in logic specifically is PMATH 432 (for similar-ish but faster paced stuff up the same alley) and PMATH 433 (for the semantics side of things). …”
Spring 2017
Any more logic courses beyond 3A? 12 points, 5 comments
“I genuinely loved SE212 and was wondering if there's any more logic courses that I could register in 3A or later?”
u/johnlee3013: “… PMATH 432,433 are both logic courses, although I haven't taken them so can't comment. The Philosophy department sometimes have special topic courses in logic. I took one last fall about non-standard logics and it's great. …”
Spring 2016
Does anyone know why pmath367 is still on the calendar but hasnt been offered since the dawn of time? 4 points, 7 comments
u/maaaath: “… Point-set topology and some set theory is found in analysis, and much more set theory is found in PMATH 433. …”
Check it elsewhere for Fall 2026
- Undergraduate Calendar, 2026–27The 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