A diamond principle consistent with AD

DOI10.1215/00294527-2017-0008zbMath1417.03261OpenAlexW2606982938MaRDI QIDQ2013395

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)

Related Items (1)

A diamond-plus principle consistent with AD

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