Diamond on Kurepa trees
Abstract
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.
Fields of Study & Subjects
Computability
Logic
AI Algorithms
semigroups and automata theory
Advanced Topology and Set Theory
Publication details
- Journal / source
- Monatshefte für Mathematik
- Publisher
- Springer Science and Business Media LLC
- Volume
- 210
- Issue
- 1
- Pages
- 117–138
- Publication date
- 28 March 2026
- Language
- EN