Studia Logica 108 (3):573-595 (2020)

Joel David Hamkins
Oxford University
Neil Barton
University of Konstanz
We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s11225-019-09860-7
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Set-Theoretic Geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The Lottery Preparation.Joel David Hamkins - 2000 - Annals of Pure and Applied Logic 101 (2-3):103-146.
The Downward Directed Grounds Hypothesis and Very Large Cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
A Simple Maximality Principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.

View all 13 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
A Strong Reflection Principle.Sam Roberts - 2017 - Review of Symbolic Logic 10 (4):651-662.
Generic Compactness Reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.
Semistationary and Stationary Reflection.Hiroshi Sakai - 2008 - Journal of Symbolic Logic 73 (1):181-192.
Proof-Theoretic Analysis by Iterated Reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
More on Full Reflection Below $${\Aleph_\Omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Separating Stationary Reflection Principles.Paul Larson - 2000 - Journal of Symbolic Logic 65 (1):247-258.
Bar Induction and Ω Model Reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.


Added to PP index

Total views
26 ( #374,172 of 2,326,399 )

Recent downloads (6 months)
12 ( #50,370 of 2,326,399 )

How can I increase my downloads?


My notes