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

Cellularity of free products of Boolean algebras (or topologies)

Saharon Shelah

发表信息：: Fund. Math. 166 No. 1-2 (2000) 153--208

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

如果存在布尔代数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

英文摘要：

We answer Problem 1 of Monk if there are Boolean algebras B_1,B_2 such that c(B_i) <= lambda_i but c(B_1 x B_2)> lambda_1+ lambda_2 where lambda_1= mu is singular and mu > lambda_2= theta >cf(mu)

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

aleph_2-cc的着色和非生产性

Colouring and non-productivity of aleph_2-cc

证明了具有强性质的从aleph_2出发的对的着色存在。最简单的状态（和相当著名的问题）它解决：有两个拓扑空间的细胞性aleph_1的产品有细胞性aleph_2 ;等价地，我们可以说细胞性的布尔代数或布尔代数满足aleph_2-c. c。其产品不符合aleph_2-c.c.我们也更多地处理俱乐部的猜测。

1996-09-15math.GNmath.LO

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

Order and interval topologies on complete Boolean algebras

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

2016-10-27math.LO

同胚拓扑的弱布尔极大链

Weakly Boolean maximal chains of homeomorphic topologies

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

2024-12-29math.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

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

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

双布尔代数的拓扑表示

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