J. Steel

collaborators

2 papers

math.LO2024

Stationary tower free homogeneously Suslin scales

Farmer Schlutzenberg, John R. Steel

Let $λ$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of $< λ$ -homogeneously Suslin sets has the scale property. We give a new proof of thi…

math.LO2023

$Σ_{1}$ gaps as derived models and correctness of mice

Farmer Schlutzenberg, John Steel

Assume ZF + AD + V=L(R). Let $[α, β]$ be a $Σ_{1}$ gap with $J_{α} (R)$ admissible. We analyze $J_{β} (R)$ as a natural form of "derived model" of a premouse $P$ , where $P$ is found in a ge…

Stationary tower free homogeneously Suslin scales

Σ1​ gaps as derived models and correctness of mice

$Σ_{1}$ gaps as derived models and correctness of mice