Small models, large cardinals, and induced ideals

Annals of Pure and Applied Logic 172 (2):102889 (2021)
  Copy   BIBTEX

Abstract

We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large cardinal notions. This assignment coincides with classical large cardinal ideals whenever such ideals had been defined before. Moreover, in many important cases, relations between these ideals reflect the ordering of the corresponding large cardinal properties both under direct implication and consistency strength.

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,894

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

Large ideals on small cardinals.Markus Huberich - 1993 - Annals of Pure and Applied Logic 64 (3):241-271.
Implications between strong large cardinal axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
A refinement of the Ramsey hierarchy via indescribability.Brent Cody - 2020 - Journal of Symbolic Logic 85 (2):773-808.
Guessing models and generalized Laver diamond.Matteo Viale - 2012 - Annals of Pure and Applied Logic 163 (11):1660-1678.
Large Cardinals and Ramifiability for Directed Sets.R. Hinnion & O. Esser - 2000 - Mathematical Logic Quarterly 46 (1):25-34.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Proper forcing and l(ℝ).Itay Neeman & Jindrich Zapletal - 2001 - Journal of Symbolic Logic 66 (2):801-810.

Analytics

Added to PP
2020-09-25

Downloads
26 (#954,651)

6 months
8 (#538,969)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Ideal Operators and Higher Indescribability.Brent Cody & Peter Holy - forthcoming - Journal of Symbolic Logic:1-39.

Add more citations

References found in this work

Set Theory.Thomas Jech - 1999 - Studia Logica 63 (2):300-300.
Ramsey-like cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
A refinement of the Ramsey hierarchy via indescribability.Brent Cody - 2020 - Journal of Symbolic Logic 85 (2):773-808.
Ramsey-like cardinals II.Victoria Gitman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):541-560.

View all 16 references / Add more references