NOTE ON IMPLYING

DOI10.1017/JSL.2023.98arXiv2110.01135OpenAlexW4390583479MaRDI QIDQ6203555FDOQ6203555

Authors:

Publication date: 5 April 2024

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

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

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)

Cites Work

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

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)