关于理想 $(v^0)$

$\sigma$-理想 $(v^0)$ 与 Silver 力迫相关，见 \cite{bre}。此外，它构成了所有完全甜甜圈零测集族，见 \cite{hal}。我们引入了段和 $*$-段拓扑，以陈述 $(v^0)$ 与 Ramsey 零测集族之间的一些相似性。为了描述 $add(v^0)$，我们采用了基矩阵引理的证明。文中也陈述了一些一致性结果。在假设 $t= \min \{\cf (\frak c), r\}$ 下，证实了 Halbeisen 猜想 $cov(v^0) = add(v^0)$。假设 $h=\omega_1$ 意味着 $(v^0)$ 具有理想型 $(\frak c, \omega_1,\frak c)$。