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:
None
Credit: 1
Gen Ed Area Dept:
None
Course Format: Lecture
Grading Mode: Graded
Level: GRAD
Prerequisites: None
Fulfills a Major Requirement for: (MATH)
Additional Requirements and/or Comments: Undergraduates wishing to attend may want to consult instructor prior to first class.
Last Updated on APR-25-2024
Contact
wesmaps@wesleyan.edu
to submit comments or suggestions. Please include a url, course title, faculty name or other page reference in your email
? Wesleyan University, Middletown, Connecticut, 06459