Extremely large cardinals in the rationals

Abstract
In 1995 we gave a new simple principle of combinatorial set theory and showed that it implies the existence of a nontrivial elementary embedding from a rank into itself, and follows from the existence of a nontrivial elementary embedding from V into M, where M contains the rank at the first fixed point above the critical point. We then gave a “diamondization” of this principle, and proved its relative consistency by means of a standard forcing argument.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,678
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
On Elementary Embeddings From an Inner Model to the Universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Large Cardinals and Large Dilators.Andy Lewis - 1998 - Journal of Symbolic Logic 63 (4):1496-1510.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Jonsson-Like Partition Relations and J: V → V.Arthur W. Apter & Grigor Sargsyan - 2004 - Journal of Symbolic Logic 69 (4):1267 - 1281.
Gap Forcing: Generalizing the Lévy-Solovay Theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Proper Forcing and L(ℝ).Itay Neeman & Jindřich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.
Chains of End Elementary Extensions of Models of Set Theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
Added to PP index
2009-01-28

Total downloads
114 ( #50,372 of 2,236,854 )

Recent downloads (6 months)
1 ( #445,854 of 2,236,854 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature