Diamond on Kurepa trees
Logic
2024-04-04 v1
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.
Cite
@article{arxiv.2404.02715,
title = {Diamond on Kurepa trees},
author = {Ziemowit Kostana and Assaf Rinot and Saharon Shelah},
journal= {arXiv preprint arXiv:2404.02715},
year = {2024}
}