The sharp for the Chang model is small
Logic
2017-05-02 v1
Abstract
Woodin has shown that if there is a measurable Woodin cardinal then there is, in an appropriate sense, a sharp for the Chang model. We produce, in a weaker sense, a sharp for the Chang model using only the existence of a cardinal having an extender of length .
Cite
@article{arxiv.1705.00208,
title = {The sharp for the Chang model is small},
author = {William Mitchell},
journal= {arXiv preprint arXiv:1705.00208},
year = {2017}
}
Comments
To appear in the Archive for Mathematical Logic