The comparison lemma
From MaRDI portal
Publication:6073907
DOI10.1016/J.APAL.2023.103329OpenAlexW4385566669WikidataQ124997180 ScholiaQ124997180MaRDI QIDQ6073907FDOQ6073907
Authors: John Steel
Publication date: 12 October 2023
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2023.103329
Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)
Cites Work
- The fine structure of the constructible hierarchy
- Consistency of the Continuum Hypothesis. (AM-3)
- Title not available (Why is that?)
- An outline of inner model theory
- Sets constructible from sequences of ultrafilters
- Some applications of iterated ultrapowers in set theory
- Inner models and large cardinals
- Large cardinals from determinacy
- Title not available (Why is that?)
- Iteration Trees
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The core model
- Title not available (Why is that?)
- HODL(ℝ) is a Core Model Below Θ
- The derived model theorem
- Measurable cardinals and \(\Delta^1_3\) well-orderings
- Hod mice and the mouse set conjecture
- A classification of jump operators
- \(\lambda\)-structures and \(s\)-structures: translating the models
- Projectively well-ordered inner models
- Equiconsistencies at subcompact cardinals
- Title not available (Why is that?)
- \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
- Title not available (Why is that?)
- The covering lemma for L[U]
- The maximality of the core model
- Between strong and superstrong
- Generalizing the Mahlo hierarchy, with applications to the Mitchell models
- Iterability for (transfinite) stacks
- HODas a core model
- A theorem of Woodin on mouse sets
- Two theorems about projective sets
- Ordinal definability in models of determinacy. Introduction to Part V
This page was built for publication: The comparison lemma
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6073907)