Martin 公理、弱平方、弱 Chang 猜想及一个力迫公理不相容性的推广

David Aspero; Nutt Tananimit

Martin 公理、弱平方、弱 Chang 猜想及一个力迫公理不相容性的推广

逻辑 2022-12-15 v1

作者: David Aspero , Nutt Tananimit

摘要

我们证明力迫公理 $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ 蕴含 $\Box_{\omega_1, \omega_1}$ 。利用此蕴含，我们表明力迫公理 $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ 是不相容的。我们还从 $MA^{1.5}_{\aleph_2}(\mbox{stratified})$ 导出弱 Chang 猜想，并用这第二个蕴含给出 $MM_{\aleph_2}(\aleph_2\mbox{-c.c.})$ 不相容性的另一证明。

关键词

Martin 公理弱平方弱 Chang 猜想力迫公理不相容性集合论

引用

@article{arxiv.2212.07324,
  title  = {Generalizations of Martin's Axiom, weak square, weak Chang's Conjecture, and a forcing axiom failure},
  author = {David Aspero and Nutt Tananimit},
  journal= {arXiv preprint arXiv:2212.07324},
  year   = {2022}
}

备注

30 pages

Martin 公理、弱平方、弱 Chang 猜想及一个力迫公理不相容性的推广

摘要

关键词

引用

备注

相关论文