可定义极大独立族
逻辑
2019-05-14 v1
摘要
我们研究射影层系中的极大独立族（m.i.f.）。我们表明：(a) 一个 m.i.f. 的存在等价于一个 m.i.f. 的存在；(b) 在 Cohen 模型中，不存在射影极大独立族；(c) 在 Sacks 模型中，存在一个 m.i.f.。我们还考虑了一个与销毁或保持极大独立族问题相关的新基数不变量。
引用
@article{arxiv.1905.04756,
title = {Definable Maximal Independent Families},
author = {Jörg Brendle and Vera Fischer and Yurii Khomskii},
journal= {arXiv preprint arXiv:1905.04756},
year = {2019}
}
备注
Accepted for publication, 2019