Zobrazeno 1 - 10
of 514
pro vyhledávání: '"Steel, John"'
Autor:
Schlutzenberg, Farmer, Steel, John R.
Let $\lambda$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of ${<\lambda}$-homogeneously Suslin sets has the scale property. We give a new proof of this fact, which avoids the use of stationary tower forcing.<
Externí odkaz:
http://arxiv.org/abs/2406.02727
Autor:
Schlutzenberg, Farmer, Steel, John
Assume ZF + AD + V=L(R). Let $[\alpha,\beta]$ be a $\Sigma_1$ gap with $J_\alpha(R)$ admissible. We analyze $J_\beta(R)$ as a natural form of ``derived model'' of a premouse $P$, where $P$ is found in a generic extension of $V$. In particular, we wil
Externí odkaz:
http://arxiv.org/abs/2307.08856
Autor:
Siskind, Benjamin, Steel, John
We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration strategies, and us
Externí odkaz:
http://arxiv.org/abs/2207.11065
We obtain a partial result on the following conjecture. Conjecture. Let (P, {\Sigma}) be a projectum stable mouse pair, and let \kappa be a cardinal of V such that \kappa < o(M_\infty(P, {\Sigma})); then the following are equivalent: (1) \kappa is a
Externí odkaz:
http://arxiv.org/abs/2207.04042
Autor:
Steel, John, Trang, Nam
In this paper, we prove a fine condensation theorem. This is quite similar to condensation theorems for pure extender mice in the literature, except that condensation for iteration strategies has been added to the mix.
Externí odkaz:
http://arxiv.org/abs/2207.03559
Autor:
Sargsyan, Grigor, Steel, John
Recall that the Mouse Set Conjecture says that under AD++V=L(P(R)), a real is ordinal definable if and only if it belongs to an iterable mouse. The Mouse Set Conjecture for sets of reals says that under the same theory, a set of reals is ordinal defi
Externí odkaz:
http://arxiv.org/abs/2110.06083