English

The first measurable can be the first inaccessible cardinal

Logic 2024-12-17 v2

Abstract

In [8] the second and third authors showed that if the least inaccessible cardinal is the least measurable cardinal, then there is an inner model with o(κ)2o(\kappa)\geq2. In this paper we improve this to o(κ)κ+1o(\kappa)\geq\kappa+1 and show that if κ\kappa is a κ++\kappa^{++}-supercompact cardinal, then there is a symmetric extension in which it is the least inaccessible and the least measurable cardinal.

Keywords

Cite

@article{arxiv.2401.02757,
  title  = {The first measurable can be the first inaccessible cardinal},
  author = {Moti Gitik and Yair Hayut and Asaf Karagila},
  journal= {arXiv preprint arXiv:2401.02757},
  year   = {2024}
}

Comments

14 pages; final version

R2 v1 2026-06-28T14:09:28.214Z