中文

存在 Van Douwen MAD 族

逻辑 2008-01-26 v2

摘要

我们在 ZFC 公理系统中证明,存在一个由 ωω\omega^\omega 中的函数构成的 MAD 族,该族关于无限部分函数也是极大的。这解决了 Van Douwen 提出的一个长达 20 年的问题。我们还加强了 J. Steprans 的一项结果,即函数的强 MAD 族不可能是解析的。我们表明,如果存在函数的解析 MAD 族,它们必须满足某些强约束条件。

关键词

引用

@article{arxiv.0711.4400,
  title  = {There is a Van Douwen MAD family},
  author = {Dilip Raghavan},
  journal= {arXiv preprint arXiv:0711.4400},
  year   = {2008}
}