General Prerequisites: This course presupposes basic knowledge of First Order Predicate Calculus up to and including the Soundness and Completeness Theorems, together with a course on basic set theory, including cardinals and ordinals, the Axiom of Choice and the Well Ordering Principle.

Course Overview: Inner models and consistency proofs lie at the heart of modern Set Theory, historically as well as in terms of importance. In this course we shall introduce the first and most important of inner models, Gödel's constructible universe, and use it to derive some fundamental consistency results.

Course Synopsis: A review of the axioms of ZF set theory. Absoluteness, the recursion theorem. The Cumulative Hierarchy of sets and the consistency of the Axiom of Foundation as an example of the method of inner models. Levy's Reflection Principle. Gödel's inner model of constructible sets and the consistency of the Axiom of Constructibility \(V=L\). \(V=L\) is absolute. The fact that \(V=L\) implies the Axiom of Choice. Some advanced cardinal arithmetic. The fact that \(V=L\) implies the Generalized Continuum Hypothesis.