Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/the-iterability-hierarchy-above-mathrm-mathsf-i3-i-3-uJAObZ3BGt
References (17)
-
A. Kanamori (1994)
The Higher Infinite -
W. Woodin (2011)
Suitable Extender Models II: beyond ω-HugeJ. Math. Log., 11
-
V Dimonte (2012)
A partially non-proper ordinalAnn. Pure Appl. Log., 163
-
A. Kanamori (2005)
The higher infinite : large cardinals in set theory from their beginnings -
(2003)
Set Theory. The Third Millennium Edition, Revised and Expanded -
A Kanamori (2003)
The Higher Infinite. Large Cardinals in Set Theory from Their Beginnings. Springer Monographs in Mathematics -
Akira Suzuki (1999)
No elementary embedding from v into v is definable from parametersJournal of Symbolic Logic, 64
-
WH Woodin (2011)
Suitable extender models II: beyond $$\omega $$ ω -hugeJ. Math. Log., 11
-
A Suzuki (1999)
No elementary embedding from $$V$$ V into $$V$$ V is definable from parametersJ. Symb. Log., 64
-
Vincenzo Dimonte (2017)
I0 and rank-into-rank axiomsBollettino dell'Unione Matematica Italiana, 11
-
R. Laver (1997)
Implications Between Strong Large Cardinal AxiomsAnn. Pure Appl. Log., 90
-
René Mazala (2001)
Infinite Games -
K. Kunen (1971)
Elementary embeddings and infinitary combinatoricsJournal of Symbolic Logic, 36
-
Informatiche e Fisiche, via delle Scienze, 206, 33100 Udine-Italy E-mail address: vincenzo.dimonte@gmail -
R. Laver (1992)
On the Algebra of Elementary Embeddings of a Rank into ItselfAdvances in Mathematics, 110
-
Vincenzo Dimonte (2011)
Totally non-proper ordinals beyond L(Vλ+1)Archive for Mathematical Logic, 50
-
T Jech (2003)
Set Theory. The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics
- Publisher
- Springer Journals
- Copyright
- Copyright © 2018 by Springer-Verlag GmbH Germany, part of Springer Nature
- Subject
- Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
- ISSN
- 0933-5846
- eISSN
- 1432-0665
- DOI
- 10.1007/s00153-018-0624-5
- Publisher site
- See Article on Publisher Site
Abstract
In this paper we introduce a new hierarchy of large cardinals between $${{\mathrm{\mathsf {I3}}}}$$ I 3 and $${{\mathrm{\mathsf {I2}}}}$$ I 2 , the iterability hierarchy, and we prove that every step of it strongly implies the ones below.
Journal
Archive for Mathematical Logic – Springer Journals
Published: Apr 18, 2018