Ordinal definability in models of determinacy. Introduction to Part V

DOI10.1017/CBO9781139519694.002MaRDI QIDQ5219247zbMATH OpenOpenAlexFDO

Authors John Steel

Publication date 9 March 2020

Published in Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/cbo9781139519694.002

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Cited in

(5)

• A reconstruction of Steel's multiverse project
• The comparison lemma
• Coding and anticoding of a cardinal by bounded subsets of the cardinal
• Boldface GCH below the first uncountable limit cardinal
• The size of a set from the size of its countable power set

This page was built for publication: Ordinal definability in models of determinacy. Introduction to Part V

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5219247)