arXiv 1502.064782015-02-23math.RA

交完备与序Domain代数

Meet-completions and ordered domain algebras

Rob Egrot, Robin Hirsch

摘要：

利用偏序集的交完备化与标准闭包算子之间的等价性，给出了构造保序偏序集展开的交完备化的一般方法。利用这种方法，我们找到了序Domain代数的交完备化，它同时也是这类代数的表示的基，从而证明了序Domain代数具有有限表示性质.我们证明了许多定义有序域代数的方程在这个完备化中被保留，但结合性（D2）和（D6）可能失败。

英文摘要：

Using the well-known equivalence between meet-completions of posets and standard closure operators we show a general method for constructing meet-completions for isotone poset expansions. With this method we find a meet-completion for ordered domain algebras which simultaneously serves as the base of a representation for such algebras, thereby proving that ordered domain algebras have the finite representation property. We show that many of the equations defining ordered domain algebras are preserved in this completion but associativity, (D2) and (D6) can fail.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

交稠密偏序集完备化中的保交性

Preserving meets in meet-dense poset completions

定义P* 为偏序集P的完全格（逆包含序），给出了P* 的子集S允许P到Q的交完备e的充要条件，其中e保持P的向上闭集的下确界当且仅当它在S中.我们证明了，给定S满足这些条件，这些完备化的集合M形成一个加顶的弱下半模格。特别地，当P是有限的时，M是下半模格，并且是自由格的下界同态像。我们提供了一个例子，其中M没有底部元素。

2016-03-15math.RA

泛代数类的模型完备化：充要条件

Model completions for universal classes of algebras: necessary and sufficient conditions

充要条件的（一阶）理论的代数结构（代数）的一个普遍的类承认一个模型完成，扩展惠勒提供的一个特征。对于具有等式可定义的主同余和紧交性质的代数的变种，这些条件产生了Ghilardi和Zawadowski获得的更优雅的表征（在稍微更受限制的设置中）。此外，它表明，在某些进一步的假设下，同余格，模型完成的存在意味着品种有方程定义的主同余。这个结果，然后被用来提供充要条件的存在模型完成的理论的哈密顿品种的点剩余格，一个广泛的家庭品种，包括格序阿贝尔群和MV-代数。值得注意的是，如果点剩余格的哈密顿簇的理论允许模型完备化，它必须有方程可定义的主同余。特别地，格序阿贝尔群和MV-代数的理论没有模型完备性，分别由Glass和Pierce以及Lacava首先证明。最后，它表明，某些品种的点剩余格所产生的线性有序的成员，包括格序阿贝尔群和MV-代数，可以扩展与二元运算，以获得理论，确实有一个模型完成。

2022-01-04math.LOmath.RA

幺半群的完备化及其在Cuntz半群上的应用

Completions of monoids with applications to the Cuntz semigroup

我们提供了一个抽象的范畴框架，涉及C-$^*$-代数$A$和$A\otimes \mathcal{K}$的Cuntz半群。这是通过添加可数升序序列的上确界来完成有序幺半群。我们的建设是相当明确的，我们表明它是函子和唯一的同构。这种方法在某些应用中被用来计算某些C $^*$ -代数的稳定Cuntz半群。

2010-03-15math.OAmath.RA

框架的类别.完成和连接.规范

Categories of frame-completions and join-specifications

给定偏序集$P$，用于$P$的联接规范$\mathcal U$是其联接都被定义的$P$的子集的集合。在$\mathcal U$中的集合的连接下闭合的下集的集合$\mathcal I_{\mathcal U}$形成完全格，并且在某种意义上是保持$P$的连接完备的自由$\mathcal U$ -连接。本文的主要目的是解决两个问题。首先，给定联合规范$\mathcal U$，何时$\mathcal I_{\mathcal U}$是帧？第二，给定偏序集$P$，它的框架生成连接规范集的结构是什么？为了回答第一个问题，我们提供了一些等价条件，并使用这些条件来研究第二个问题。特别是，我们表明，一套框架生成连接规范$P$形成一个完全格有序的包含，我们描述了它的满足和加入操作。我们做同样的一套“最大”这样的联合规格，一个自然的定义“最大”。我们还定义函子从这些格，被认为是类别，到一个适当定义的范畴的框架完成的$P$，并构造右伴随。

2018-06-02math.RA

由反射关系诱导的粗糙集的Kleene和Stone代数

Characterising regular double Stone and pseudocomplemented Kleene algebras in completions of rough sets induced by reflexive relations

LUT School of Engineering Science（拉赫蒂理工大学工程学院）；Institute of Mathematics, University of Miskolc（米什科尔茨大学数学研究所）

研究由反射关系诱导的粗糙集的完成DM(RS)作为空间和完全分配格的条件，推导其作为正则伪补Kleene代数和完全分配双Stone代数的条件，并描述使DM(RS)成为正则双Stone代数的反射关系。

2026-08-27cs.LOmath.RA

Kleene偏序集与伪Kleene偏序集

Kleene posets and pseudo-Kleene posets

Kleene代数（有时也称为Kleene格）的概念已经被第一作者推广到非分配格，称为伪Kleene代数。我们将这些概念扩展到偏序集，并展示了如何（伪）Kleene偏序集可以通过分配交换满足定向胚的身份和影响来表征。证明了伪Kleene偏序集的Dedekind-MacNeille完备化是伪Kleene代数，有限Kleene偏序集的Dedekind-MacNeille完备化是Kleene代数.此外，我们引入了严格（伪）Kleene偏序集的概念，并表明在一个额外的假设下，严格Kleene偏序集可以组织成一个剩余结构。最后，我们证明了通过所谓的扭曲结构，每个偏序集可以嵌入到一个伪Kleene偏序集以某种自然的方式。

2020-06-08math.RA

更多相关论文收起更多论文