Introduction to large cardinals, fall 2014
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 |