The comparison lemma

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

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

• 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?)
• HOD^L(ℝ) 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)