# Mathematical Institute

## Search results: 20

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.

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.

**Lecturer(s)**:

Dr Rolf Suabedissen

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.

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.

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.

**Lecturer(s)**:

Dr Rolf Suabedissen

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.

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.

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.

**Lecturer(s)**:

Dr Rolf Suabedissen

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.

**Lecturer(s)**:

Dr Rolf Suabedissen

- Lecturer: Rolf Suabedissen

- Lecturer: Rolf Suabedissen

- Lecturer: Robin Knight