Joint work with Ziemek Kostana and Saharon Shelah.
Abstract. We introduce a new weak variation of diamond that is meant to only guess 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.
Downloads:
Update August 2024: Extended the introduction.