Woodin for strong compactness cardinals
arXiv:1710.05743 · doi:10.1017/jsl.2018.67
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.
20 pages, fixed proof of Theorem 4.1, minor corrections and additions