Model Theory
MATH 509
Spring 2008
| Section:
01
|
The basic results and tools of model theory will be introduced, including the compactness theorem, omitting types, quantifier elimination, model completeness, categoricity and stability theory. Many of the motivating examples for this course arise from algebra; ideally the student should have studied abstract algebra (groups, rings and fields) and some elementary logic (completeness theorem, cardinalities). If time permits, applications of model theory to algebra will be included. |
|
Essential Capabilities:
Logical Reasoning, Quantitative Reasoning |
| Credit: 1 |
Gen Ed Area Dept:
None |
| Course Format: Lecture | Grading Mode: Graded |
| Level: GRAD |
Prerequisites: None |
|
Fulfills a Major Requirement for: (MATH) |
|
Past Enrollment Probability: Not Available |
| SECTION 01 |
Major Readings: Wesleyan RJ Julia Bookstore
TBA
|
Examinations and Assignments:
Frequent problem sets and take-home final. |
Additional Requirements and/or Comments:
Graduate course, open to qualified undergraduates. |
| Instructor(s): Wood,Carol S. Times: .M.W... 02:40PM-04:00PM; Location: SCIE638; |
| Total Enrollment Limit: 15 | | SR major: 0 | JR major: 0 | | |
| Seats Available: 6 | GRAD: 15 | 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 |
|
|