Course Title
Theory of Models
Course Description
Syntactical characterization of classes closed under algebraic operations. Ultraproducts and ultralimits, saturated models. Methods for establishing decidability and completeness. Model theory of various languages richer than first-order.
Minimum
4
Maximum
4
Grading Basis
Default Letter Grade; S/U Option
American Cultures Requirement
No
Reading and Composition Requirement
None of the Reading and Composition Requirement
Prerequisite
Complete ALL of the following Courses:
Repeat Rules
Course is not repeatable for credit.
Formats
Lecture
Term
Fall and Spring
Duration (in weeks)
15
Minimum Hours
3
Maximum Hours
3
Outside Work Hours Min
9
Maximum Hours
9