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 . In this paper we improve this to and show that if is a -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