# Introduction to large cardinals, fall 2014

**First lecture September 23.**

### Lecturer

Visiting Prof. **Boban Velickovic** (Paris VII)

### Scope

10 sp.

### Type

Advanced studies

### Prerequisites

Elements of set theory

### Objective

The axioms of large cardinals postulate the existence of very large objects, but they have an impact on classical mathematical objects, such as the real line. They form an essentially linear hierarchy which measures the consistency strength of consistency of all mathematical theories. Large cardinals play a central role in the Goedel program program whose goal is to extend the standard axiomatic framework ZFC of set theory in order to resolve problems that are undecidable on the basis of ZFC alone.

In this course we present the basics of the theory of large cardinals

- Inaccessible, Mahlo, weakly and strongly compact, measurable cardinals
- Partition relations and generalizations of Ramsey’s theorem, indiscernibles, 0
^{#} - Saturated ideals and iterated ultrapowers Ideal saturated
- Infinite games and determinacy
- Very large cardinals and the Holy Grail of set theory

### Course outline

- The measure problem, measurable cardinals.
- Trees and partitions weakly and strongly compact cardinals
- The constructible universe L, elementary embeddings the Ehrenfeucht-Mostowski models, 0
^{#}. - Iterated ultra powers and the model L[U].
- Very large cardinals: supercompact, huge cardinals, etc.

### Lectures

Weeks 39-42 and 44-51, Tuesday 10-12 in room C124 and Thursday 10-12 in room C122. Two hours of exercise classes per week.

**First lecture September 23.**

### Exams

### Bibliography

- T. Jech, Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics), 2006
- K. Kunen, Set Theory: An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, Volume 102, North Holland, 1980;
- A. Kanamori, The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings, Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1994
- A. Levy, Basic set theory (Springer Verlag), 1979

### Registration

Did you forget to register? What to do?

### Exercises

Group | Day | Time | Place | Teacher |
---|---|---|---|---|

1. | Friday | 14-16 | C123 | Lauri Keskinen |