关于可定义拟序中大型反链的存在性
逻辑
2018-08-29 v1
摘要
我们将Harrington-Marker-Shelah关于非空完美反链存在的Dilworth型刻画推广到余解析拟序,在下一个可定义基数上建立了类似的定理,并考虑了超越射影层次第一层的推广。
引用
@article{arxiv.1808.09056,
title = {On the existence of large antichains for definable quasi-orders},
author = {Benjamin D. Miller and Zoltán Vidnyánszky},
journal= {arXiv preprint arXiv:1808.09056},
year = {2018}
}