WesMaps - Wesleyan University Catalog 2007-2008       Summer Session       Winter Session       Home       Archive       Search
CS92PROD
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: LectureGrading Mode: Graded
Level: GRAD Prerequisites: None
Fulfills a Major Requirement for: (MATH)
Past Enrollment Probability: Not Available

Last Updated on MAR-05-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