自可分超滤子与$etamathbb{Z}$中的同余关系
摘要：自可分割超滤子的介产了一个等价关系，我们证明了这个等价关系在整数集上是个等价关系. 我们给出了几个例子和额外的特征. 特别地，我们证明当且仅当在强等价关系相同时该等价关系与强等价关系相（equivalent）与整数集的商空间$(\mathbb{Z}, \oplus)/ \equiv^{\mathrm{s}}_w$ 是完全性群. 我们也构造了这样一个超滤子$w$使得等价关系$equiv_w$在对称的情况下失败，并描述了上述商空间和整数的完全性的相互作用.
作者：Mauro Di Nasso, Lorenzo Luperi Baglini, Rosario Mennuni, Moreno Pierobon, Mariaclara Ragosta
论文ID：2302.09983
分类：Logic
分类简称：math.LO
提交时间：2023-07-18