In this paper we shall answer some questions in the set theory of L(R), the universe of all sets constructible from the reals. In order to do so, we shall assume AD
In this paper we shall answer some questions in the set theory of L(R), the universe of all sets constructible from the reals. In order to do so, we shall assume AD
The maximality of the core model (1997)
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...
The covering lemma up to a Woodin cardinal (1997)
Mitchell, William J., Schimmerling, Ernest, Steel, John R.
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....
Fine structure and iteration trees / William Mitchell, John R. Steel (1994)
Mitchell, William J, Steel, John R
Incluye bibliografía
How to win some simple iteration games (1993)
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...
Martin, Donald A., Steel, John R.
It is shown that projective determinacy follows from large cardinal axioms weaker than the assertion that supercompact cardinals exist.
Martin, Donald A., Steel, John R.
It is shown that projective determinacy follows from large cardinal axioms weaker than the assertion that supercompact cardinals exist.