基于强迫概念的布尔素理想定理的特征刻画
逻辑
2019-03-27 v2
摘要
对于公理选择公理的某些弱版本（最著名的是布尔素理想定理），我们获得了关于偏序集及其内部与某些稠密集或反链相交的滤子类对象的等价刻画。这使得我们能够使用类似于佐恩引理或马丁公理的论证方法来证明布尔素理想定理的一些推论。
引用
@article{arxiv.1609.02630,
title = {A Characterization of the Boolean Prime Ideal Theorem in Terms of Forcing Notions},
author = {David Fernández-Bretón and Elizabeth Lauri},
journal= {arXiv preprint arXiv:1609.02630},
year = {2019}
}
备注
12 Pages