Woodin for strong compactness cardinals
Logic
2019-03-27 v4
Abstract
We give the definition of Woodin for strong compactness cardinals, the Woodinised version of strong compactness, and we prove an analogue of Magidor's identity crisis theorem for the first strongly compact cardinal.
Cite
@article{arxiv.1710.05743,
title = {Woodin for strong compactness cardinals},
author = {Stamatis Dimopoulos},
journal= {arXiv preprint arXiv:1710.05743},
year = {2019}
}
Comments
20 pages, fixed proof of Theorem 4.1, minor corrections and additions