A diamond principle consistent with AD

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

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)

Cited In (5)

• 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

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Jensen's diamond principle and its relatives 👍 👎
• A diamond-plus principle consistent with AD 👍 👎
• 1-consistency and the diamond 👍 👎
• Another \(\diamondsuit\)-like principle 👍 👎
• A strong antidiamond principle compatible with CH 👍 👎
• Diamond principles in Cichoń's diagram 👍 👎
• On the ◊ principle 👍 👎
• The diamond covering property axiom 👍 👎

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)