Mathematical Logic 2

3 Credits

The three sub-areas Model theory, computability theory, and set theory will be covered. Specific topics may include axiomatization of set theory, transfinite recursion and cardinal arithmetic, Goedel's constructible universe, Cohen's method of forcing, Turing degrees, and Post's problem.