Subcompact cardinals, type omission and ladder systems
Logic
2022-02-03 v3
Abstract
We provide a model theoretical and tree property like characterization of --subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.
Cite
@article{arxiv.2003.02589,
title = {Subcompact cardinals, type omission and ladder systems},
author = {Yair Hayut and Menachem Magidor},
journal= {arXiv preprint arXiv:2003.02589},
year = {2022}
}