NOTE ON IMPLYING

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

Unnamed Author

Publication date: 5 April 2024

Published in: The 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)

Cites Work

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

This page was built for publication: NOTE ON IMPLYING