An inner model proof of the strong partition property of δ^2_1
arXiv:1206.2713 · doi:10.1215/00294527-2798745
Abstract
We prove the strong partition property for δ^2_1 using methods from inner model theory.
arXiv commentsubmitted
arXiv:1206.2713 · doi:10.1215/00294527-2798745
We prove the strong partition property for δ^2_1 using methods from inner model theory.
arXiv commentsubmitted