Math 770: Introduction to Logic

We will discuss each of the 3 main subjects of logic: model theory, recursion theory, and set theory. Main topics will include first-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.