米洛什·库里利奇。 见证不可逆转的前后系统。 arXiv公司：2306.13966 预印本，arXiv:2306.13966[math.LO]（2023）。 摘要：如果（L）是关系语言，那么，如果没有解释（\bar\sigma\varsubsetneq\bar\rho）使结构（\langle X，\bar\sigma\rangle）和（\langleX，\bar \rho\rangle\）同构，则（L）结构是可逆的。我们证明了\（｛\mathbb X｝\）是不可逆的，当存在\（｛\mathbb X｝\）的部分自缩合的来回系统\（\Pi\）时，该系统包含一个不是部分同构的系统，并且具有某些闭包性质。利用该特征，我们检测了几类不可逆偏序，其中包括同质-泛偏序集（特别是随机偏序集）、可除格、理想（[kappa]^{<lambda}）、代数Borel（（omega^omega）中的微理想、，以及有理数的直幂，（{mathbbQ}^kappa）和整数的直幂。一些结果是在附加的集合理论假设下获得的。 理学硕士： 03C07号机组 一阶语言和结构的基本性质 03元50分 具有特殊属性（饱和、刚性等）的模型 03C98号 模型理论的应用 06年06月06日 部分订单，通用 BibTeX公司 引用 \textit{M.S.Kurilić}，“前后系统见证不可逆性”，预印本，arXiv:2306.13966[math.LO]（2023） 全文： arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误，请直接向arXiv报告.