Borel 图中的极大独立集与大基数
逻辑
2019-09-02 v1
摘要
我们构造了一个 Borel 图 ，使得 ZF+DC+“ 中不存在极大独立集”与 ZFC+“存在一个不可达基数”等一致性。
引用
@article{arxiv.1606.04765,
title = {Maximal independent sets in Borel graphs and large cardinals},
author = {Haim Horowitz and Saharon Shelah},
journal= {arXiv preprint arXiv:1606.04765},
year = {2019}
}