PMATH 433 Model Theory and Set TheoryPure Mathematics (2009-2010)
Model theory: the semantics of first order logic including the compactness theorem and its consequences, elementary embeddings and equivalence, the theory of definable sets and types, quantifier elimination, and omega-stability. Set theory: well-orderings, ordinals, cardinals, Zermelo-Fraenkel axioms, axiom of choice, informal discussion of classes and independence results.
Prerequisites: PMATH 345 or 346; Not open to General Mathematics students
Notes: Offered in the Fall of even years.
Sections For Fall 2009
PMATH 433 is not held in Fall 2009
Sections For Spring 2009
PMATH 433 is not held in Spring 2009