Hostname: page-component-7c8c6479df-995ml Total loading time: 0 Render date: 2024-03-27T18:26:13.541Z Has data issue: false hasContentIssue false

Inner Models and Large Cardinals

Published online by Cambridge University Press:  15 January 2014

Ronald Jensen*
Affiliation:
All Souls College, Oxford OX1 4AL, Great Britain

Extract

In this paper, we sketch the development of two important themes of modern set theory, both of which can be regarded as growing out of work of Kurt Gödel. We begin with a review of some basic concepts and conventions of set theory.

§0. The ordinal numbers were Georg Cantor's deepest contribution to mathematics. After the natural numbers 0, 1, …, n, … comes the first infinite ordinal number ω, followed by ω + 1, ω + 2, …, ω + ω, … and so forth. ω is the first limit ordinal as it is neither 0 nor a successor ordinal. We follow the von Neumann convention, according to which each ordinal number α is identified with the set {ν ∣ ν α} of its predecessors. The ∈ relation on ordinals thus coincides with <. We have 0 = ∅ and α + 1 = α ∪ {α}. According to the usual set-theoretic conventions, ω is identified with the first infinite cardinal ℵ0, similarly for the first uncountable ordinal number ω1 and the first uncountable cardinal number ℵ1, etc. We thus arrive at the following picture:

The von Neumann hierarchy divides the class V of all sets into a hierarchy of sets Vα indexed by the ordinal numbers. The recursive definition reads: (where } is the power set of x);

Vλ = ∪vVv for limit ordinals λ. We can represent this hierarchy by the following picture.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Devon, K., Constructability, Springer-Verlag, 1984.Google Scholar
[2] Drake, F. R., Set theory: An introduction to large cardinals, North-Holland, 1974.Google Scholar
[3] Jensen, R., Measures of order 0, unpublished manuscript.Google Scholar
[4] Kunen, K., Set theory: An introduction to independence proofs, North-Holland, 1980.Google Scholar
[5] Martin, D. A. and Steel, J. R., A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71125.Google Scholar
[6] Martin, D. A. and Steel, J. R., Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), pp. 173.Google Scholar
[7] Mitchell, W. and Steel, J. R., Fine structure and iteration trees, Lecture notes in logic 3, Springer-Verlag, 1994.Google Scholar
[8] Steel, J. R., The core model iterability problem, unpublished manuscript.Google Scholar
[9] Steel, J. R., Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), pp. 185209.Google Scholar