Math 770: Foundations of Mathematics
Instructor:
Joseph Miller
Time and Place:
MWF 8:50-9:40
textbooks:
Mathematical Logic, 2nd Edition, by Ebbinghaus, Flum, Thomas.
Course Content:
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.