Diamond on Kurepa trees
Abstract We introduce a new weak variation of diamond that is meant to guess only the branches of a Kurepa tree. We demonstrate that this variation is considerably weaker than diamond by proving it is compatible with Martin’s axiom. We then prove that this principle is nontrivial by showing it may consistently fail.
Authors
- Saharon Shelah (ORCID: https://orcid.org/0000-0003-0462-3152)
- Assaf Rinot (ORCID: https://orcid.org/0000-0001-9309-5798)
- Ziemowit Kostana (ORCID: https://orcid.org/0000-0002-5146-2470)
Institutions
- Rutgers, The State University of New Jersey (US)
- Bar-Ilan University (IL)
- Hebrew University of Jerusalem (IL)
- Czech Academy of Sciences, Institute of Mathematics (CZ)
Publication Details
- Journal
- Monatshefte für Mathematik
- Published
- 2026-03-28
- DOI
- https://doi.org/10.1007/s00605-026-02176-4
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- article
- Field-Weighted Citation Impact
- 0.00