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

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.
Small embedding characterizations for large cardinals.Peter Holy, Philipp Lücke & Ana Njegomir - 2019 - Annals of Pure and Applied Logic 170 (2):251-271.
Large Cardinals and the Continuum Hypothesis.Radek Honzik - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo, The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 205-226.
Gap forcing: Generalizing the lévy-Solovay theorem.Joel David Hamkins - 1999 - Bulletin of Symbolic Logic 5 (2):264-272.
Chains of end elementary extensions of models of set theory.Andres Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
Large Cardinals, Inner Models, and Determinacy: An Introductory Overview.P. D. Welch - 2015 - Notre Dame Journal of Formal Logic 56 (1):213-242.
Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
Some results on consecutive large cardinals.Arthur W. Apter - 1983 - Annals of Pure and Applied Logic 25 (1):1-17.

Analytics

Added to PP
2020-09-25

Downloads
49 (#1,198,365)

6 months
10 (#1,127,889)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Very Large Set Axioms Over Constructive Set Theories.Hanul Jeon & Richard Matthews - 2024 - Bulletin of Symbolic Logic 30 (4):455-535.
A refinement of the Ramsey hierarchy via indescribability.Brent Cody - 2020 - Journal of Symbolic Logic 85 (2):773-808.
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.
Ramsey-like cardinals II.Victoria Gitman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):541-560.
Indescribable cardinals and elementary embeddings.Kai Hauser - 1991 - Journal of Symbolic Logic 56 (2):439-457.

View all 16 references / Add more references