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.