John R. Steel

most citedSuslin cardinals and cutpoints in mouse limits

1 citations · 1 across the 3 of their papers we have counts for

collaborators

3 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.LO2022

Full normalization for mouse pairs

Benjamin Siskind, John Steel

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 st…

math.LO2022★ 1 cited

Suslin cardinals and cutpoints in mouse limits

Stephan Jackson, Grigor Sargsyan, John Steel

We obtain a partial result on the following conjecture. Conjecture. Let (P, Σ) be a projectum stable mouse pair, and let κbe a cardinal of V such that κ< o(M_\infty(P, Σ)); then th…