NOTE ON IMPLYING

DOI10.1017/JSL.2023.98MaRDI QIDQ6203555OpenAlexFDO

Authors

Publication date 5 April 2024

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.01135

zbMATH Keywords

determinacycore model inductioninner model theory

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Abstract: A short core model induction proof of $mathsf{AD}^{L(mathbbR)}$ from $mathsfTD+mathsf{DC}_{m}athbbR$.

Cites work

• HODas a core model
• Determinacy from strong reflection
• Equivalence of partition properties and determinacy
• OPTIMAL PROOFS OF DETERMINACY II
• On the Relative Consistency Strength of Determinacy Hypothesis
• The axiom of determinateness and reduction principles in the analytical hierarchy
• Turing Determinacy and Suslin sets

This page was built for publication: NOTE ON IMPLYING

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