Determined Admissible Sets
arXiv:1907.00742
Abstract
It is shown, from hypotheses in the region of Woodin cardinals, that there is a transitive model of KP + AD containing all reals.
15 pages
arXiv:1907.00742
It is shown, from hypotheses in the region of Woodin cardinals, that there is a transitive model of KP + AD containing all reals.
15 pages