Greatly Erdős cardinals with some generalizations to the Chang and Ramsey properties

Annals of Pure and Applied Logic 162 (11):863-902 (2011)
Authors
Ian Sharpe
Charles Sturt University
Abstract
• We define a notion of order of indiscernibility type of a structure by analogy with Mitchell order on measures; we use this to define a hierarchy of strong axioms of infinity defined through normal filters, the α-weakly Erdős hierarchy. The filters in this hierarchy can be seen to be generated by sets of ordinals where these indiscernibility orders on structures dominate the canonical functions.• The limit axiom of this is that of greatly Erdős and we use it to calibrate some strengthenings of the Chang property, one of which, CC+, is equiconsistent with a Ramsey cardinal, and implies that where K is the core model built with non-overlapping extenders — if it is rigid, and others which are a little weaker. As one corollary we have:TheoremIf then there is an inner model with a strong cardinal. • We define an α-Jónsson hierarchy to parallel the α-Ramsey hierarchy, and show that κ being α-Jónsson implies that it is α-Ramsey in the core model
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2011.04.002
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


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

The Core Model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
On the Size of Closed Unbounded Sets.James E. Baumgartner - 1991 - Annals of Pure and Applied Logic 54 (3):195-227.
Adding Closed Unbounded Subsets of Ω₂ with Finite Forcing.William J. Mitchell - 2005 - Notre Dame Journal of Formal Logic 46 (3):357-371.

View all 19 references / Add more references

Citations of this work BETA

In Memoriam: James Earl Baumgartner.J. A. Larson - 2017 - Archive for Mathematical Logic 56 (7-8):877-909.
Games and Ramsey-Like Cardinals.Dan Saattrup Nielsen & Philip Welch - 2019 - Journal of Symbolic Logic 84 (1):408-437.

Add more citations

Similar books and articles

Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Jónsson Cardinals, Erdös Cardinals, and the Core Model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.
Co-Stationarity of the Ground Model.Natasha Dobrinen & Sy-David Friedman - 2006 - Journal of Symbolic Logic 71 (3):1029 - 1043.
Proper Forcing and Remarkable Cardinals II.Ralf-Dieter Schindler - 2001 - Journal of Symbolic Logic 66 (3):1481-1492.
Canonical Partition Relations.James E. Baumgartner - 1975 - Journal of Symbolic Logic 40 (4):541-554.
Abstract Logic and Set Theory. II. Large Cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Chang's Conjecture and Powers of Singular Cardinals.Menachem Magidor - 1977 - Journal of Symbolic Logic 42 (2):272-276.

Analytics

Added to PP index
2013-10-27

Total views
27 ( #254,702 of 2,313,497 )

Recent downloads (6 months)
6 ( #139,415 of 2,313,497 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature