Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Steel, John R."'
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:
Steel, John R.
Publikováno v:
In Annals of Pure and Applied Logic January 2024 175(1) Part B
Autor:
Schlutzenberg, Farmer, Steel, John R.
Publikováno v:
Archive for Mathematical Logic, August 2014, Volume 53, Issue 5-6, pp 539-559
Let M be a fine structural mouse. Let D be a fully backgrounded L[E]-construction computed inside an iterable coarse premouse S. We describe a process comparing M with D, through forming iteration trees on M and on S. We then prove that this process
Externí odkaz:
http://arxiv.org/abs/1309.6363
Autor:
Schimmerling, Ernest, Steel, John R.
If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K computes successo
Externí odkaz:
http://arxiv.org/abs/math/9702206
A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and tha
Externí odkaz:
http://arxiv.org/abs/math/9702207
Publikováno v:
The Bulletin of Symbolic Logic, 2000 Dec 01. 6(4), 401-446.
Externí odkaz:
https://www.jstor.org/stable/420965
Autor:
Andretta, Alessandro, Steel, John R.
We introduce two new iteration games: the game G, which is a strengthening of the weak iteration game, and the game G+, which is somewhat stronger than G but weaker than the full iteration game of length omega_1. For a countable M elementarily embedd
Externí odkaz:
http://arxiv.org/abs/math/9310212
Autor:
Steel, John R.
Publikováno v:
The Journal of Symbolic Logic, 2005 Dec 01. 70(4), 1255-1296.
Externí odkaz:
https://www.jstor.org/stable/27588424