A diamond-plus principle consistent with AD

DOI10.1007/S00153-020-00715-WzbMath1481.03052OpenAlexW3004858480MaRDI QIDQ781519

Daniel W. Cunningham

Publication date: 17 July 2020

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-020-00715-w

zbMATH Keywords

determinacyinner modelsdiamond-plus principlesforcing proofs

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A covering lemma for \(K(\mathbb{R})\)
• Generic relativizations of fine structure
• Combinatorial principles in the core model for one Woodin cardinal
• A diamond principle consistent with AD
• KWithout the Measurable
• An Outline of Inner Model Theory
• A Core Model Toolbox and Guide
• The fine structure of the constructible hierarchy

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