Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 7
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Muntersbjorn, Madeline 2016. Mathematical Knowledge and the Interplay of Practices. History and Philosophy of Logic, p. 1.

    Hauser, Kai 2015. Intuition and Its Object. Axiomathes, Vol. 25, Issue. 3, p. 253.

    Clarke-Doane, Justin 2014. Moral Epistemology: The Mathematics Analogy. Noûs, Vol. 48, Issue. 2, p. 238.

    Arrigoni, Tatiana and Friedman, Sy-David 2012. Foundational implications of the Inner Model Hypothesis. Annals of Pure and Applied Logic, Vol. 163, Issue. 10, p. 1360.

    DEISER, OLIVER 2011. AN AXIOMATIC THEORY OF WELL-ORDERINGS. The Review of Symbolic Logic, Vol. 4, Issue. 02, p. 186.

    Scheepers, Marion 2003. Encyclopedia of Physical Science and Technology.

    Schindler, Ralf-Dieter 2002. The core model for almost linear iterations. Annals of Pure and Applied Logic, Vol. 116, Issue. 1-3, p. 205.


Inner Models and Large Cardinals

  • Ronald Jensen (a1)
  • DOI:
  • Published online: 15 January 2014

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.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[5]D. A. Martin and J. R. Steel , A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), pp. 71125.

[6]D. A. Martin and J. R. Steel , Iteration trees, Journal of the American Mathematical Society, vol. 7 (1994), pp. 173.

[7]W. Mitchell and J. R. Steel , Fine structure and iteration trees, Lecture notes in logic 3, Springer-Verlag, 1994.

[9]J. R. Steel , Inner models with many Woodin cardinals, Annals of Pure and Applied Logic, vol. 65 (1993), pp. 185209.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Bulletin of Symbolic Logic
  • ISSN: 1079-8986
  • EISSN: 1943-5894
  • URL: /core/journals/bulletin-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *