首页/论文/1612.04652

arXiv 1612.046522016-12math.LO

完备布尔代数上的序拓扑和区间拓扑

Order and interval topologies on complete Boolean algebras

Dominic van der Zypen

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们介绍和研究一般偏序集上的序收敛和区间拓扑。问题76伯克霍夫的“格理论”问是否为完整的布尔代数的秩序拓扑和区间拓扑一致。我们对这个问题的回答是否定的。

英文摘要：

We introduce and examine order convergence and the interval topology on partially ordered sets in general. Problem 76 of Birkhoff's "Lattice Theory" asks whether for complete Boolean algebras the order topology and the interval topology coincide. We answer this question in the negative.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

同胚拓扑的弱布尔极大链

Weakly Boolean maximal chains of homeomorphic topologies

本文刻画了同胚拓扑极大链所对应的弱布尔线性序，给出了其同构于三类链条件的充要条件，并提供了拓扑学应用。

2024-12-29math.LO

布尔代数（或拓扑）自由积的胞腔性

Cellularity of free products of Boolean algebras (or topologies)

如果存在布尔代数B_1，B_2使得c（B_1 x B_2）<= lambda_i但c（B_1 x B_2）> λ da_1 + λ da_2，其中λ da_1 = mu是奇异的，mu > λ da_2 = θ>cf（mu），则我们回答了Monk的问题1

1995-08-15math.GNmath.LO

区间布尔代数乘积中独立元的个数

The number of independent elements in the product of interval Boolean algebras

我们证明了在kappa的乘积中许多布尔代数，我们不能找到一个独立集的超过2^kappa元素解决蒙克的问题（早先它是已知的，我们不能找到超过2^{2^kappa}，但可以找到2^kappa）。

1993-12-15math.GNmath.LO

布尔代数上Tukey型超滤子的谱

Spectra of Tukey types of ultrafilters on Boolean algebras

将最近在$\mathcal{P}(ω)$上对Tukey型超滤子结构的研究推广到一般的布尔代数，我们对几类布尔代数的Tukey型超滤子的谱进行了分类，包括区间代数、树代数和伪树代数.

2015-03-18math.LO

关于测度代数的同态序列与Efimov问题

On sequences of homomorphisms into measure algebras and the Efimov Problem

对于给定的布尔代数$\mathbb{A}$和$\mathbb{B}$，我们赋予从$\mathbb{A}$到$\mathbb{B}$的所有布尔同态的空间$\mathcal{H}(\mathbb{A},\mathbb{B})$各种拓扑，并研究了$\mathcal{H}(\mathbb{A},\mathbb{B})$中序列的收敛性质.我们特别感兴趣的情况下，$\mathbb{B}$是一个衡量代数，在这种情况下，我们获得了一个自然的工具，用于研究拓扑收敛性质的序列超滤$\mathbb{A}$在随机扩展的集理论宇宙。这似乎与Dow和Fremlin的结果有很强的联系，该结果表明在随机模型中存在Efimov空间。我们还研究了带有严格正测度的布尔代数$\mathbb{B}$的$\mathcal{H}(\mathbb{A},\mathbb{B})$上拓扑之间的关系以及$\mathbb{A}$上测度序列的收敛性质。

2021-01-02math.GNmath.LO

关于Medvedev格的结构

On the structure of the Medvedev lattice

我们调查的梅德韦杰夫格的结构作为一个偏序。我们证明了格中的每个区间要么是有限的，在这种情况下，它同构于有限布尔代数，要么包含大小为2^2^ \aleph_0的反链，即格本身的大小。我们还证明了格上有这种大小的链是相容的，事实上，这些大链出现在每一个有大反链的区间上。我们还研究了格和代数的嵌入。我们表明，大布尔代数可以嵌入到梅德韦杰夫格上半格，但布尔代数可以嵌入格，只有当它是可数的。最后，我们讨论这些结果持有密切相关的Muchnik格。

2006-06-21math.LO

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

遗传区间代数与连续统的基数特征

Hereditary Interval Algebras and Cardinal Characteristics of the Continuum

区间代数是一个布尔代数，它同构于线性有序集的半开区间的有限并的代数。区间代数是遗传的，如果每个子代数都是区间代数。我们回答了M的一个问题。Bekkali和S. Todorčević，通过证明每个以$σ$为中心的区间代数的大小为$\mathfrak{b}$是遗传的是一致的。我们还证明了在ZFC中存在基数为$\aleph_1.$的遗传区间代数

2019-05-31math.LO

周期框架

Periodic frames

针对多模态可证性逻辑GLP缺乏可用完备模型类的问题，本文定义了一类基于序数的可数广义拓扑周期框架，证明GLP在其上可靠且完备，其代数基于推广自终周期二进制ω字的序数周期集概念。

2024-07-14math.LO

有序抽象概率的刻画

A characterisation of ordered abstract probabilities

在计算机科学中，特别是在处理量子计算或其他非标准计算模型时，概率论中的基本概念（如“谓词”）变化很大。似乎有一个常数：概率代数唯一有用的例子是实单位区间。本文试图解释这一现象。我们将证明实单位区间的结构自然地产生于一些合理的假设。我们这样做是通过研究效果幺半群，抽象的代数结构的实单位区间：它有一个除了$x+y$这是唯一的定义时，$x+y\leq 1$和对合$x\mapsto 1-x$，使它成为一个效果代数，结合一个结合（可能是非交换）乘法。例子包括有序环和布尔代数的单位区间。我们提出了一个结构理论的效果幺半群是$ω$ -完全的，即每一个增加的序列有一个上确界。证明了任何$ω$ -完全效应幺半群都嵌入到布尔代数与交换单位C $^*$ -代数的单位区间的直和中。这给了我们从第一原则之间的二分法夏普逻辑，表示的布尔代数部分的效果幺半群，和概率逻辑，表示交换C $^*$ -代数。这个特征的一些结果是乘法必须总是可交换的，并且唯一的没有零因子和多于2个元素的$ω$完全效应幺半群必须是实单位区间。我们的结果给出了一个代数特征和动机，为什么任何物理或逻辑理论将表示概率的实数。

2020-01-09cs.LOmath.LO

无点连续性的原理

The principle of pointfree continuity

本文在构造性无点拓扑中提出无点连续性原理，通过拓扑基间关系定义连续运算，并证明在双空间性下成立，且与形式贝尔空间和单位区间的空间性等价，重新表述了空间性、条形归纳和紧致性的关系。

2019-03-04cs.LOmath.LO

逻辑与偏序阿贝尔群

Logic and Partially Ordered Abelian Groups

具有序单位的偏序阿贝尔群中的单位区间构成区间效应代数（IEA），它可以作为形式演绎逻辑语义的代数模型。有一个范畴之间的范畴的IEA的和范畴的单群，使一个翻译的逻辑功能的IEA的代数属性相应的单群的范畴范畴的范畴等价。在本文中，我们研究IEA-单群连接，重点讨论IEA是布尔代数、量子逻辑、MV-代数或Heyting MV-代数的情况。

2005-04-27math.LO

超滤器选择和Corson过滤器

Ultrafilter selection and Corson compacta

研究了布尔代数是否具有对每个生成元集都有一个超滤子选择其最大元素数的性质。我们称之为超滤选择性质。对于基数aleph-one的性质是等价的事实，即空间的超滤子是不是Corson紧的。我们还考虑了布尔代数上的点态拓扑，证明了Lindelöf数的超滤子选择性质。最后，我们讨论了偏序集布尔代数，区间代数和半格的超滤子选择性质。

2022-08-12math.GNmath.LO

双布尔代数的拓扑表示

Topological Representation of Double Boolean Algebras

在形式概念分析中，任何上下文的原概念的集合形成完全上下文的双布尔代数（dBa）。上下文的半概念形成纯dBa。本文是一个研究的拓扑表示结果的dBAs，特别是那些完全上下文和纯dBAs。在这项工作中，上下文拓扑空间（CTS）被认为是，重点是在一种特殊的CTS，其中的关系定义的上下文以及逆的关系是连续的拓扑。这样的CTS被表示为CTSCR。据观察，封闭式面向对象的原型概念的CTSCR形成一个完全上下文的dBa，而封闭式面向对象的概念形成一个纯粹的dBa。每个dBa被证明是准嵌入到dBa的一个特定的CTSCR的面向对象的原型概念的Clopen。在上下文dBa的情况下，准嵌入变成嵌入，并且当dBa是完全上下文的时，准嵌入变成同构。对于纯dBas，人们获得了与CTSCR的面向对象的闭包代数的同构。有限dBas和布尔代数的表示也在这个过程中解决。这个CTSCR的属性的抽象导致Stone上下文的定义。Stone上下文和CTSCR-同胚被看作形成一个范畴，记为Scxt。此外，dBa同构和CTSCR-同胚之间的对应关系。这激发了对dBas的范畴二元性的研究，构成了文章的第二部分。纯dBas和完全上下文dBas以及dBa同构形成类别，分别表示为PDBA和FCDBA。建立了PDBA等价于FCDBA，而FCDBA和PDBA双重等价于Scxt。

2021-11-28math.LOmath.RA

非线性生成簇的无限性是不可判定的

Profiniteness in finitely generated varieties is undecidable

Profinite代数就是那些同构于有限代数的逆极限的代数。这样的代数自然具有布尔拓扑。一个簇$\mathcal V$是标准的，如果每个布尔拓扑代数的代数约简在$\mathcal V$是profinite的。我们表明，有没有算法作为输入的有限代数$\mathbf A$的有限型，并决定是否品种${\mathcal V}({\mathbf A})$产生的${\mathbf A}$是标准的。我们还证明了一些相关性质的不可判定性。特别是，我们解决了克拉克，戴维，弗里斯和杰克逊提出的问题。我们通过结合两个结果来实现这一点。第一个是摩尔的结果说，有没有算法作为输入的有限代数$\mathbf A$的有限型，并决定是否${\mathcal V}({\mathbf A})$有可定义的主子同余。第二个是我们的结果说，拥有可定义的主子同余产生拥有确定的句法同余品种。后一个属性是已知的产生标准化。

2017-12-25math.GNmath.LO

幂等生成代数与交换环的布尔幂

Idempotent generated algebras and Boolean powers of commutative rings

交换环R的布尔幂S具有交换R-代数的结构，并且关于该结构，S的每个元素可以唯一地写为正交幂等元的R-线性组合，使得幂等元的和为1并且它们的系数是不同的。为了形式化这一分解性质，我们引入了Specker R-代数的概念，并证明了R的布尔幂幂与Specker R-代数同构.我们还表明，这些代数的特点是在一个函子建设有根源的伯格曼和罗塔的工作。当R是不可分解的时，证明了S是SpeckerR-代数当且仅当S是投射R-模，从而加强了Bergman的一个定理;当R是整环时，证明了S是SpeckerR-代数当且仅当S是挠自由R-模.对于不可分解的R，我们证明了Specker R-代数范畴等价于布尔代数范畴，从而对偶等价于Stone空间范畴.另外，当R是整环时，我们证明了Baer Specker R-代数范畴等价于完备布尔代数范畴，从而对偶等价于极不连通紧T2空间范畴.对全序R，证明了R上的Specker R-代数S是f-代数时，S上存在唯一的偏序，并证明了S等价于从Stone空间X到R上的分段常数连续函数的R-代数，该函数具有区间拓扑.

2013-06-13math.GNmath.LOmath.RA