Diamond on Kurepa trees

Read full text
Authors: Ziemowit Kostana, Assaf Rinot, Saharon Shelah
Cited by: 1
References: 35

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