Math 770: Introduction to Logic
Instructor:
Uri Andrews
Time and Place:
MWF 11-11:50am Course Content:
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.
