前后系统见证不可逆性
摘要：可逆$L$-结构存在当且仅当不存在任何不同于全集的子集$ar \sigma \subsetneq ar \ho$使得结构$angle X, ar \sigma \rangle$和$angle X, ar \ho \rangle$同构。我们证明，$mathbb{X}$不可逆当且仅当存在一个由部分自连结构组成的来回系统$Π$，其中一个并非部分同构，并且具有特定的闭包性质。利用这个特征，我们发现了几个包含非可逆偏序的类别，包括均匀通用偏序（特别是随机偏序）、可分性格栅$angle {mathbb{N}}, \mid \rangle$、理想类$[kappa]^{ < lambda}$、Borel$(omega ^omega)$代数中微小理想以及有理数$mathbb{Q} ^kappa$和整数$mathbb{Z} ^kappa$的直积。其中一些结果是在额外的集合论假设下得出的。
作者：Milov{s} S. Kurili''c
论文ID：2306.13966
分类：Logic
分类简称：math.LO
提交时间：2023-06-27