MA 637 Mathematical Logic I
Prepositional calculus; syntax and semantics of first order theories; completeness theorem; elementary model theory: axiomatic development of Zermelo-Fraenkel or Bernays-Gödel set theory; and ordinals, cardinals, the axiom of choice, and several equivalent axioms.