6 research outputs found

    An inner model proof of the strong partition property of \delta^2_1

    Full text link
    We prove the strong partition property for \delta^2_1 using methods from inner model theory.Comment: submitte

    Unreachability of Ξ“2n+1,m\bf{\Gamma_{2n+1,m}}

    Full text link
    We find bounds for the maximal length of a sequence of distinct Ξ“2n+1,m\bf{\Gamma_{2n+1,m}}-sets under ADAD and show there is no sequence of distinct Ξ“2n+1\bf{\Gamma_{2n+1}}-sets of length Ξ΄2n+31\bf{\delta^1_{2n+3}}. As a special case, there is no sequence of distinct Ξ“1,m\bf{\Gamma_{1,m}}-sets of length β„΅m+2\aleph_{m+2}. These are the optimal results for the pointclasses Ξ“2n+1\bf{\Gamma_{2n+1}} and Ξ“1,m\bf{\Gamma_{1,m}}

    A boundedness lemma for iterations

    No full text
    corecore