Journal of Symbolic Logic · 1999 · 18 citations · 3 references
Natural SciencesMathematicsStochastic ProcessesIterated MapsMouse Theory
Abstract We show that every sufficiently iterable countable mouse has a unique iteration strategy whose associated iteration maps are lexicographically minimal. This enables us to extend the results of [3] on the good behavior of the standard parameter from tame mice to arbitrary mice.
3
Donald A. Martin, John R. Steel · Journal of the American Mathematical Society · 1994 · 85 citations
Inner models with many Woodin cardinals
John R. Steel · Annals of Pure and Applied Logic · 1993 · 82 citations
Fine structure for tame inner models
Ernest Schimmerling, John R. Steel · Journal of Symbolic Logic · 1996 · 23 citations