English

The Landscape of Large Cardinals

Logic 2022-05-05 v1

Abstract

The purpose of this paper is to provide an introductory overview of the large cardinal hierarchy in set theory. By a large cardinal, we mean any cardinal κ\kappa whose existence is strong enough of an assumption to prove the consistency of ZFC. We assume basic familiarity with set theory, model theory, and the ZFC axioms, though certain concepts will be reviewed as necessary. We attempt to clarify the vast landscape of the higher infinite, motivating the definitions of some (but certainly not all) of the known large cardinals. We also discuss connections with the Continuum Hypothesis and provide some philosophical reflections on belief in the consistency of large cardinals.

Keywords

Cite

@article{arxiv.2205.01787,
  title  = {The Landscape of Large Cardinals},
  author = {Rohan Srivastava},
  journal= {arXiv preprint arXiv:2205.01787},
  year   = {2022}
}

Comments

24 pages, 1 figure. Expository