6 research outputs found
An inner model proof of the strong partition property of \delta^2_1
We prove the strong partition property for \delta^2_1 using methods from
inner model theory.Comment: submitte
Unreachability of
We find bounds for the maximal length of a sequence of distinct
-sets under and show there is no sequence of
distinct -sets of length . As a
special case, there is no sequence of distinct -sets of
length . These are the optimal results for the pointclasses
and