English

Small models, large cardinals, and induced ideals

Logic 2021-12-09 v1

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.

Keywords

Cite

@article{arxiv.2008.04019,
  title  = {Small models, large cardinals, and induced ideals},
  author = {Peter Holy and Philipp Lücke},
  journal= {arXiv preprint arXiv:2008.04019},
  year   = {2021}
}

Comments

36 pages, 1 figure, 3 tables

R2 v1 2026-06-23T17:44:44.611Z