MATH 509
Spring 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 |
| Instructor(s): Patel,Rehana Times: .M.W... 02:50PM-04:10PM; Location: SCIE216; |
| Total Enrollment Limit: 16 | | SR major: 3 | JR major: 3 | | |
| Seats Available: 9 | 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 |
|