The first omitting cardinal for Magidority
Logic
2019-05-17 v3
Abstract
We prove that can be successor of a supercompact cardinal, when is a Magidor cardinal. From this result we obtain the consistency of being a successor of a singular cardinal with uncountable cofinality.
Cite
@article{arxiv.1801.00239,
title = {The first omitting cardinal for Magidority},
author = {Shimon Garti and Yair Hayut},
journal= {arXiv preprint arXiv:1801.00239},
year = {2019}
}