UCLA Mathnet Login

Logic

Course material- Mathematics 220ABC.

Topics- Model theory: Chapters 1, 2, and 3 of Model Theory by Chang and Keisler; recursion theory: chapters 1 through 5, sections 7.1-7.5, 9.1-9.4, 11.1-11.4, 14.1-14.5, 14.7. 14.8 through page 326 of Theory of Recursive Functions and Effective Computability by Hartley Rogers Jr.; incompleteness and undecidability: Godel's incompleteness and undecidability results for sufficiently strong theories; the undecidability of predicate logic. Set Theory: Chapters 1,3,4,5 and 6.1-6.4 of Set Theory: An Introduction to Independence Proofs, by Kenneth Kunen; transfinite induction; ordinals and cardinals; cardinal arithematic; constructible sets.