The comparison lemma

DOI10.1016/J.APAL.2023.103329MaRDI QIDQ6073907zbMATH OpenOpenAlexWikidataFDO

Authors John Steel

Publication date 12 October 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites work

• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 3685484 (Why is no real title available?)
• scientific article; zbMATH DE number 3743241 (Why is no real title available?)
• scientific article; zbMATH DE number 3529851 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 3275577 (Why is no real title available?)
• scientific article; zbMATH DE number 3351573 (Why is no real title available?)
• scientific article; zbMATH DE number 3356764 (Why is no real title available?)
• HODas a core model
• A classification of jump operators
• A theorem of Woodin on mouse sets
• An outline of inner model theory
• Between strong and superstrong
• Consistency of the Continuum Hypothesis. (AM-3)
• Equiconsistencies at subcompact cardinals
• Generalizing the Mahlo hierarchy, with applications to the Mitchell models
• HOD^L(ℝ) is a Core Model Below Θ
• Hod mice and the mouse set conjecture
• Inner models and large cardinals
• Iterability for (transfinite) stacks
• Iteration Trees
• Large cardinals from determinacy
• Measurable cardinals and \(\Delta^1_3\) well-orderings
• Ordinal definability in models of determinacy. Introduction to Part V
• Projectively well-ordered inner models
• Sets constructible from sequences of ultrafilters
• Some applications of iterated ultrapowers in set theory
• The core model
• The covering lemma for L[U]
• The derived model theorem
• The fine structure of the constructible hierarchy
• The maximality of the core model
• Two theorems about projective sets
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies
• \(\lambda\)-structures and \(s\)-structures: translating the models

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)