A diamond principle consistent with AD

DOI10.1215/00294527-2017-0008MaRDI QIDQ2013395zbMATH OpenOpenAlexFDO

Authors Daniel W. Cunningham

Publication date 17 August 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.ndjfl/1492761611

zbMATH Keywords

determinacydiamond principlesSteel's core model \(\mathbf{K}(\mathbb{R})\)

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• A diamond-plus principle consistent with AD
• On the ◊ principle
• A strong antidiamond principle compatible with CH
• Jensen's diamond principle and its relatives
• Diamond principles in Cichoń's diagram
• 1-consistency and the diamond
• Another -like principle
• scientific article; zbMATH DE number 1122204
• Diamond. A paradox logic
• The diamond covering property axiom

Cited in

(6)

• A strong antidiamond principle compatible with CH
• 1-consistency and the diamond
• Another -like principle
• On the ◊ principle
• Scales of minimal complexity in \({K(\mathbb{R})}\)
• A diamond-plus principle consistent with AD

This page was built for publication: A diamond principle consistent with AD

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