Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
J. R. Steel - MaRDI portal

J. R. Steel

From MaRDI portal
(Redirected from Person:220689)
Person:403402

Available identifiers

zbMath Open steel.john-rDBLP03/4385WikidataQ1701501 ScholiaQ1701501MaRDI QIDQ403402

List of research outcomes





PublicationDate of PublicationType
An introduction to iterated ultrapowers2024-09-09Paper
The comparison lemma2023-10-12Paper
$\Sigma_1$ gaps as derived models and correctness of mice2023-07-17Paper
A Comparison Process for Mouse Pairs2022-10-03Paper
Full normalization for mouse pairs2022-07-22Paper
Suslin cardinals and cutpoints in mouse limits2022-07-08Paper
Condensation for Mouse Pairs2022-07-07Paper
On Vaught’s conjecture2021-11-12Paper
Ordinal definability in models of determinacy. Introduction to Part V2020-03-09Paper
A theorem of Woodin on mouse sets2020-03-09Paper
HODas a core model2020-03-09Paper
Definable functions on degrees2020-03-09Paper
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations2020-03-09Paper
Square principles in \(\mathbb{P}_{\max}\) extensions2017-04-28Paper
Equiconsistencies at subcompact cardinals2016-03-02Paper
https://portal.mardi4nfdi.de/entity/Q34646502016-01-27Paper
THE MOUSE SET CONJECTURE FOR SETS OF REALS2015-08-14Paper
Determinacy from strong reflection2014-09-17Paper
Comparison of fine structural mice via coarse iteration2014-08-29Paper
KWithout the Measurable2014-01-07Paper
https://portal.mardi4nfdi.de/entity/Q31183472012-03-02Paper
https://portal.mardi4nfdi.de/entity/Q31183482012-03-02Paper
https://portal.mardi4nfdi.de/entity/Q31183512012-03-02Paper
An Outline of Inner Model Theory2010-11-05Paper
https://portal.mardi4nfdi.de/entity/Q36564322010-01-13Paper
The self-iterability of L[E]2009-09-29Paper
Stacking mice2009-03-25Paper
https://portal.mardi4nfdi.de/entity/Q36076182009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076212009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076242009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076262009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076272009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076292009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36076302009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q36115132009-03-02Paper
https://portal.mardi4nfdi.de/entity/Q35974252009-02-09Paper
Scales in K(ℝ) at the end of a weak gap2008-06-09Paper
https://portal.mardi4nfdi.de/entity/Q54501052008-03-19Paper
Local Kc constructions2007-10-17Paper
https://portal.mardi4nfdi.de/entity/Q52956922007-07-30Paper
Counterexamples to the unique and cofinal branches hypotheses2006-11-29Paper
Distinct iterable branches2006-09-06Paper
PFA implies ADL(ℝ)2006-09-06Paper
Deconstructing inner model theory2003-08-24Paper
Core models with more Woodin cardinals2003-06-13Paper
The domestic levels of \(K^c\) are iterable2003-04-03Paper
Does Mathematics Need New Axioms?2001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q49345612001-02-26Paper
A weak Dodd-Jensen lemma2000-06-22Paper
The maximality of the core model1999-05-19Paper
How to win some simple iteration games1998-10-01Paper
The covering lemma up to a Woodin cardinal1997-07-08Paper
Fine structure for tame inner models1997-05-12Paper
https://portal.mardi4nfdi.de/entity/Q56904871997-01-19Paper
HODL(ℝ) is a Core Model Below Θ1995-11-28Paper
Projectively well-ordered inner models1995-09-18Paper
Iteration Trees1995-03-15Paper
The well-foundedness of the Mitchell order1995-01-24Paper
https://portal.mardi4nfdi.de/entity/Q42917911994-05-10Paper
Inner models with many Woodin cardinals1994-03-07Paper
Complementation in the Turing degrees1989-01-01Paper
A Proof of Projective Determinacy1989-01-01Paper
Projective determinacy1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38046981988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38325631988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37895511987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33106071983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33106081983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36824781983-01-01Paper
A classification of jump operators1982-01-01Paper
Two Consequences of Determinacy Consistent with Choice1982-01-01Paper
Determinacy in the Mitchell models1982-01-01Paper
The extent of definable scales1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39445991981-01-01Paper
Determinateness and the separation property1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39608401981-01-01Paper
Analytic sets and Borel isomorphisms1980-01-01Paper
A Note On Analytic Sets1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41878011978-01-01Paper
Forcing with tagged trees1978-01-01Paper
Descending sequences of degrees1975-01-01Paper

Research outcomes over time

This page was built for person: J. R. Steel