<p>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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Diamond on Kurepa trees

  • Ziemowit Kostana,
  • Assaf Rinot,
  • Saharon Shelah

摘要

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.