8 research outputs found

    Unreachability of Inductive-Like Pointclasses in L(R)L(\mathbb{R})

    Full text link
    Hjorth proved from ZF+AD+DCZF + AD + DC that there is no sequence of distinct Σ21\Sigma^1_2 sets of length δ21\delta^1_2. Sargsyan extended Hjorth's technique to show there is no sequence of distinct Σ2n1\Sigma^1_{2n} sets of length δ2n1\delta^1_{2n}. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in L(R)L(R) -- i.e. if κ\kappa is a regular Suslin cardinal in L(R)L(R), then there is no sequence of distinct κ\kappa-Suslin sets of length κ+\kappa^+ in L(R)L(R). We prove this in the case that the pointclass S(κ)S(\kappa) is inductive-like

    The consistency strength of long projective determinacy

    Get PDF
    We determine the consistency strength of determinacy for projective games of length omega(2). Our main theorem is that Pi(1)(n+1)-determinacy for games of length omega(2) implies the existence of a model of set theory with omega + n Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals A such that M-n(A), the canonical inner model for n Woodin cardinals constructed over A, satisfies A = R and the Axiom of Determinacy. Then we argue how to obtain a model with omega + n Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length omega(2) with payoff in (sic)(R)Pi(1)(1) or with sigma-projective payoff
    corecore