# Model Theory and Set Theory

Subject:
Pure Mathematics (PMATH)
Catalog number:
733
Unit weight:
0.50
Meet type:
LEC
NUM
Cross-listing(s):
N/A
Requisites:
N/A
Description:
Model theory: the semantics of first order logic including the compactness theorem and its consequences, elementary embedding and equivalence, the theory of definable sets and types, quantifier elimination, and w-stability. Set theory: well-orderings, ordinals, cardinals, Zermelo-Fraenkel axioms, axiom of choice, informal discussion of classes and independence results.
Topic titles:
N/A
Faculty:
Mathematics (MAT)