The comparison lemma

DOI10.1016/j.apal.2023.103329OpenAlexW4385566669WikidataQ124997180 ScholiaQ124997180MaRDI QIDQ6073907

J. R. 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

zbMATH Keywords

large cardinalsinner modelsiteration strategies

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\lambda\)-structures and \(s\)-structures: translating the models
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• Generalizing the Mahlo hierarchy, with applications to the Mitchell models
• Projectively well-ordered inner models
• Two theorems about projective sets
• Measurable cardinals and \(\Delta^1_3\) well-orderings
• Hod mice and the Mouse Set Conjecture
• A classification of jump operators
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• The covering lemma for L[U]
• Between strong and superstrong
• The core model
• Sets constructible from sequences of ultrafilters
• The maximality of the core model
• Iteration Trees
• HOD^L(ℝ) is a Core Model Below Θ
• Iterability for (transfinite) stacks
• Ordinal definability in models of determinacy. Introduction to Part V
• A theorem of Woodin on mouse sets
• HODas a core model
• Some applications of iterated ultrapowers in set theory
• The fine structure of the constructible hierarchy
• Consistency of the Continuum Hypothesis. (AM-3)
• Inner models and large cardinals
• Equiconsistencies at subcompact cardinals

This page was built for publication: The comparison lemma