Model Theory
MATH 509
Fall 2025
| Section:
01
|
| This course may be repeated for credit. |
An introduction to model theory: The syntax and semantics of first-order logic, definability, compactness and Löwenheim-Skolem theorems, realizing and omitting types, quantifier elimination and model completeness, countable models of complete theories. |
|
| Credit: 1 |
Gen Ed Area Dept:
None |
| Course Format: Lecture | Grading Mode: Graded |
| Level: GRAD |
Prerequisites: None |
|
Fulfills a Requirement for: None |
|
Past Enrollment Probability: 90% or above |
| SECTION 01 |
Major Readings: Wesleyan RJ Julia Bookstore
TBD
|
Examinations and Assignments:
TBD |
Additional Requirements and/or Comments:
In this iteration of the course, there will be a special emphasis on existentially closed, homogeneous, and generic structures. Even students who have previously taken courses in model theory will be exposed to new concepts. But the class is open to all - no prior knowledge of model theory is assumed. Students should have a strong background in abstract algebra, and some familiarity with mathematical logic and set theory (i.e., first-order formulas and the basics of ordinal and cardinal numbers) would be helpful. |
| Instructor(s): Kruckman,Alex Times: .M.W... 02:50PM-04:10PM; Location: TBA |
| Total Enrollment Limit: 16 | | SR major: 4 | JR major: 2 | | |
| Seats Available: 16 | GRAD: 10 | SR non-major: 0 | JR non-major: 0 | SO: 0 | FR: 0 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|
|