Delta-1-2 Without Sharps
Logic
2016-09-06 v1
Abstract
We show that the supremum of the lengths of boldface Delta-1-2 prewellorderings of the reals can be Aleph-2, with Aleph-1 inac- cessible to reals, assuming only the consistency of an inaccessible.
Cite
@article{arxiv.math/9509209,
title = {Delta-1-2 Without Sharps},
author = {Sy D. Friedman and W. Hugh Woodin},
journal= {arXiv preprint arXiv:math/9509209},
year = {2016}
}