A diamond principle consistent with AD

DOI10.1215/00294527-2017-0008zbMATH Open1417.03261OpenAlexW2606982938MaRDI QIDQ2013395FDOQ2013395

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

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 \(\diamondsuit\)-like principle
• scientific article; zbMATH DE number 1122204
• Diamond. A paradox logic
• The diamond covering property axiom

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)

Cited In (6)

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

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)