关于$D$-空间和离散集族
摘要：关于D空间的若干反映定理的证明，其中D空间是Hausdorff拓扑空间$X$，满足对于每个开邻域分配$U$，存在一个闭离散子空间$D$，使得$\bigcup_{x\in D}U(x)=X$。上升反映定理是在强制公理的条件下获得的，而大多数下降反映结果则使用大基数假设。证明给定空间是D空间的论证的组合内容可以使用离散族的概念进行表述。我们注意到涉及离散族的非反射论证与著名的存在允许部分横切但自身没有横切的族的问题之间的联系，并利用它在离散化的上下文中提供非平凡的不完备现象实例。
作者：Mirna Dv{z}amonja
论文ID：math/0608636
分类：Logic
分类简称：math.LO
提交时间：2007-05-23