PMATH 433 – LEC 0.50 – Course ID: 012623 – Model Theory and Set Theory

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. Prereq: PMATH 345 or 346; Not open to General Mathematics students

There are no comments for this course.