The Mitchell Order below Rank-To-Rank

Journal of Symbolic Logic 69 (4):1143 - 1162 (2004)
  Copy   BIBTEX

Abstract

We show that Mitchell order on downward closed extenders below rank-to-rank type is wellfounded

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Infinite decreasing chains in the Mitchell order.Omer Ben-Neria & Sandra Müller - 2021 - Archive for Mathematical Logic 60 (6):771-781.
Rank-to-rank embeddings and steel’s conjecture.Gabriel Goldberg - 2021 - Journal of Symbolic Logic 86 (1):137-147.
Projective prewellorderings vs projective wellfounded relations.Xianghui Shi - 2009 - Journal of Symbolic Logic 74 (2):579-596.
Morley Rank in Homogeneous Models.Alexei Kolesnikov & G. V. N. G. Krishnamurthi - 2006 - Notre Dame Journal of Formal Logic 47 (3):319-329.
Categoricity and U-rank in excellent classes.Olivier Lessmann - 2003 - Journal of Symbolic Logic 68 (4):1317-1336.
On definability of types of finite Cantor-Bendixson rank.Predrag Tanovic - 2011 - Mathematical Logic Quarterly 57 (3):256-260.
Rank 3 bingo.Alexandre Borovik & Adrien Deloro - 2016 - Journal of Symbolic Logic 81 (4):1451-1480.

Analytics

Added to PP
2010-08-24

Downloads
47 (#491,890)

6 months
10 (#281,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The large cardinal strength of weak Vopenka’s principle.Trevor M. Wilson - 2022 - Journal of Mathematical Logic 22 (1):2150024.
The structure of the Mitchell order – II.Omer Ben-Neria - 2015 - Annals of Pure and Applied Logic 166 (12):1407-1432.
Infinite decreasing chains in the Mitchell order.Omer Ben-Neria & Sandra Müller - 2021 - Archive for Mathematical Logic 60 (6):771-781.

Add more citations

References found in this work

Inner Models and Large Cardinals.Martin Zeman - 2003 - Bulletin of Symbolic Logic 9 (2):234-235.

Add more references