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

Annals of Pure and Applied Logic 162 (11):863-902 (2011)
  Copy   BIBTEX

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,252

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

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
2013-10-27

Downloads
79 (#204,640)

6 months
6 (#448,852)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ian Sharpe
Charles Sturt University

Citations of this work

Virtual large cardinals.Victoria Gitman & Ralf Schindler - 2018 - Annals of Pure and Applied Logic 169 (12):1317-1334.
A refinement of the Ramsey hierarchy via indescribability.Brent Cody - 2020 - Journal of Symbolic Logic 85 (2):773-808.
Small models, large cardinals, and induced ideals.Peter Holy & Philipp Lücke - 2021 - Annals of Pure and Applied Logic 172 (2):102889.
Ideal Operators and Higher Indescribability.Brent Cody & Peter Holy - forthcoming - Journal of Symbolic Logic:1-39.

View all 12 citations / Add more citations

References found in this work

The core model.A. Dodd & R. Jensen - 1981 - Annals of Mathematical Logic 20 (1):43-75.
Constructibility.Keith J. Devlin - 1987 - Journal of Symbolic Logic 52 (3):864-867.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Some weak versions of large cardinal axioms.Keith J. Devlin - 1973 - Annals of Mathematical Logic 5 (4):291.
On the size of closed unbounded sets.James E. Baumgartner - 1991 - Annals of Pure and Applied Logic 54 (3):195-227.

View all 17 references / Add more references