中文

可定义的 MAD 族与力迫公理

逻辑 2022-10-11 v1

摘要

我们证明在有限恰当力迫公理(Bounded Proper Forcing Axiom)与反大基数假设下,存在一个 Π21\mathbf{\Pi}^1_2 MAD 族。

关键词

引用

@article{arxiv.1912.12815,
  title  = {Definable MAD families and forcing axioms},
  author = {Vera Fischer and David Schrittesser and Thilo Weinert},
  journal= {arXiv preprint arXiv:1912.12815},
  year   = {2022}
}

备注

13 pages