A new look at Ternary Boolean Algebras
J. P. Fatelo, N. Martins-Ferreira
提出了一种新的三值布尔代数的构造方法，其中否定是由三值运算导出的。关键的方面是完全交换性的其他公理，不需要三进制操作是对称的替代。
We present a new approach to ternary Boolean algebras in which negation is derived from the ternary operation. The key aspect is the replacement of complete commutativity by other axioms that do not require the ternary operation to be symmetric.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Extended Contact Algebras: Algebraic analysis and duality theory
本文提出伪推导代数，通过单调三元运算符扩展布尔代数，建立扩展接触代数的代数分析与对偶理论框架。
Semi-Cohen Boolean algebras
我们调查类的布尔代数有关的概念，迫使科恩reals。A >>Cohen代数<<是一个在自由布尔代数的完备化中稠密的布尔代数。介绍并研究了Cohen代数的推广：半Cohen代数、伪Cohen代数和潜在Cohen代数。这些布尔代数类在完备化下是闭的。
The completeness and congruences of quasi-Boolean algebras
本文研究拟布尔代数的完备性与同余关系，刻画了有限不可约拟布尔代数，证明了标准完备性及同余扩张性质，并完整描述了同余的扩张方式。
Measures on Boolean algebras
本文给出了布尔代数带有可加测度的一个充要条件。
The depth of ultraproducts of Boolean Algebras
在ZFC中，我们证明了布尔代数的超积的深度可以大于这些布尔代数的深度的超积。
Spectra of Tukey types of ultrafilters on Boolean algebras
将最近在$\mathcal{P}(ω)$上对Tukey型超滤子结构的研究推广到一般的布尔代数，我们对几类布尔代数的Tukey型超滤子的谱进行了分类，包括区间代数、树代数和伪树代数.
The small index property for countable superatomic boolean algebras
证明了有限秩的可数超原子布尔代数都具有小指数性质。
The number of openly generated Boolean algebras
本文主要讨论了射影布尔代数的两种不同的推广：开生成的布尔代数和紧σ滤除的布尔代数。证明了对任意不可数的正则基数kappa，只要存在一个kappa大小的几乎自由非自由阿尔贝群，就存在2 ^kappa大小为kappa > aleph_1的两两非同构的开生成布尔代数.这里构造的开生成布尔代数几乎是自由的。此外，对于每一个无限的正则基数kappa，我们构造了大小为kappa的2 ^kappa两两非同构的布尔代数，这些代数是紧sigma过滤的和c.c.c. c。这两个结果与Koppelberg的定理帽形成了很好的对比，对于每一个不可数的正则基数kappa，大小为kappa的投射布尔代数只有2^{< kappa}个同构类型。
Boolean Algebras and Logic
本文研究了布尔代数的概念和基本性质，证明了Stone表示定理。研究了布尔代数与逻辑和集合论的关系，特别是利用布尔代数中的Stone定理给出了命题逻辑中完备性定理的简洁证明。
Simple Complete Boolean Algebras
对于每一个正则基数kappa，存在一个具有kappa生成元的简单完备布尔代数。
Convergence and submeasures in Boolean algebras
一个布尔代数带有严格正的穷举子测度当且仅当它有一个一致Frechet的序列拓扑。
Existence of Endo-Rigid Boolean Algebras
一个布尔代数有多少个自同态？我们能找到自同态尽可能少的布尔代数吗？当然，从布尔代数的任何超滤子中，我们都可以定义一个自同态，并且我们可以以某种合理的方式组合许多这样的自同态。证明了在任意基数lambda=lambda^ {aleph_0}中存在一个没有其他自同态的布尔代数.为此，我们使用所谓的“黑匣子”，但在一个自我包含的方式。我们评论如何必要的限制红衣主教。
On Countably Closed Complete Boolean Algebras
可数闭完备布尔代数的每个完备子代数都是可数闭的是不可证明的。
Complete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann
每个弱分配完备ccc布尔代数都有严格正的Maharam子测度是相容的。
A complete Boolean algebra that has no proper atomless complete subalgebra
存在一个完备无原子布尔代数，它不存在真的无原子完备子代数。
Amalgmation in Boolean algebras with operators
研究了带运算的布尔代数的各种形式的合并。我们也将有机会削弱处理MV和BL代数与运营商的布尔结构。
Some notes concerning the homogeneity of Boolean algebras and Boolean spaces
研究了具有可数生成的非主超滤子的布尔代数的齐次性，证明了一个布尔代数B是齐次的，如果它是可数生成的非主超滤子的并，并且有一个稠密子集D，使得对于D中的每一个a，相对代数B的限制a：= {b in B：b <= a}与B同构.特别地，原子布尔代数的可数个副本的自由积是齐次的。此外，一个布尔代数B是齐次的，如果它满足下列条件：（i）B有一个可数生成的超滤子，（ii）B不是c.c.c.，和（iii）对于B集减{0}中的每个a，有n个自同构h_1，.，h_n满足1=h_1（a）cup. cup h_n（a）.
Wider Thin-Very Tall Superatomic Boolean Algebras
对于每个正则基数k > w，我们证明了一个宽度为k的薄的非常高的超原子布尔代数的一致存在性.
Irredundant Sets in Atomic Boolean Algebras
在GCH的假设下，我们构造了一个原子布尔代数，它的pi-权严格小于极大无冗族的最小规模。
Boolean algebras with prescribed topological densities
给出了M的一个定理的简化证明。Rabus和S. Shelah声称，对于每个基数μ，都存在一个具有拓扑密度μ的c.c.c布尔代数。
Variations of Independence in Boolean Algebras
我们给出了推广自由布尔代数的几类布尔代数的定义，它们满足一个泛性质，即某些函数可推广到同态。我们给出了这类代数的生成集的一个组合性质，称之为n -独立的.研究了这些类（n-free和omega-free布尔代数）的性质。这些包括连接到超图理论和基数不变量对这些代数。引入并研究了相关的基数函数nInd，它是n-独立子集基数的上确界; i_n，极大n -独立子集的最小尺寸; i_omega，omega-独立子集的最小尺寸。P（omega）/fin上的i_n和i_omega的值与ZFC无关。同时考虑了理想独立性，证明了无穷布尔代数的基数函数p <= s_mm.我们还定义和考虑适度生成的布尔代数，即那些布尔代数，有一个生成集的元素，分裂的布尔代数的许多元素。
Functional reducts of Boolean algebras
本文对可数无原子布尔代数的一些特殊约简进行了分类，称之为泛函约简。我们证明，有确切的$13$这样的结构，一阶互定义。
Concerning problems about cardinal invariants on Boolean algebras
介绍了我的著作《布尔代数上的基数不变量》（Birkhauser 1996）中所讨论问题的现状，给出了解或部分解的描述，并附有参考文献。
Simple and sub-directly irreducible double Boolean algebras
本文研究双布尔代数，证明纯且平凡等价于两个布尔代数的粘合和，刻画简单双布尔代数，并分类某些子类中的子直不可约代数。
On noncommutative generalisations of Boolean algebras
斜布尔代数（skew BA）和类布尔代数（nBA）分别是布尔代数的单点和n点非交换推广。我们表明，任何nBA是一个集群的n同构的右手斜BA，公理化这里作为各种斜星代数。各种斜星代数被证明是长期等价的各种NBAs。我们使用斜BA，以发展一个一般的理论，多交易NBAs。我们还提供了一个表示定理的右手斜BA在nBA的n-分区。
Superatomic Boolean Algebras: maximal rigidity
证明了对于基数>beth_omega的超原子布尔代数，存在移动不可数个原子的自同构.同样的，对于更大的红衣主教。这些结果基本上都是最好的。
Minimal Axiomatization of Boolean Algebras
本文提出布尔代数的极小公理化新公理系统，揭示对称差与模差的代数相似性，并给出布尔代数中等价关系证明的新方法。
On atomicity of free algebras in Boolean algebras with operators, and a new result on Pinter's free algebras
本文给出了关于带算子的布尔代数簇的自由代数的一般定理，并对Pinter置换代数得到了一个新的结果。对于n \geq 3，且m>1，存在由m个元素自由生成的自由代数的生成集，它不是生成元的自由集.
Axiomatization of Boolean algebras via weak dicomplementations
本文给出了基于弱双补格的布尔代数的一个公理化：$(2,2,1)$型的代数$(L,\wedge,\vee,\tu)$是布尔代数当且仅当$(L,\wedge,\vee)$是非空格，且对所有$x,y\in L$都是$(x\wedge y)\vee(x\wedge y\tu)=(x\vee y)\wedge(x\vee y\tu)$.这提供了一个唯一的方程来编码格上的分配性和互补性。
Building complicated index models and Boolean algebras
利用不可区分模型子结构构建κ≥λ的模型及更复杂结构，并应用于构造多种布尔代数。
On DEPTH and DEPTH^+ of Boolean Algebras
我们证明了布尔代数的超积的深度^+不能以一个以上的基数跳过每个分支的深度^+。因此，对于深度不变量，我们可以得到类似的结果。
Forcing a Boolean Algebra with predesigned automorphism group
对于适当的群G，我们将证明，可以通过强制使得Aut（B）几乎同构于G来添加一个布尔代数B。特别地，我们将肯定地回答J.Roitman提出的问题：aleph_{omega}是富布尔代数的自同构的可能个数吗？
Order and interval topologies on complete Boolean algebras
我们介绍和研究一般偏序集上的序收敛和区间拓扑。问题76伯克霍夫的“格理论”问是否为完整的布尔代数的秩序拓扑和区间拓扑一致。我们对这个问题的回答是否定的。
On Boolean algebras with strictly positive measures
本文研究了带有严格正可加测度的布尔代数的SPM类上的反射型问题。我们表明，特别是，在可构造的宇宙中有一个布尔代数$\mathfrak A$这是不是在SPM，但每个子代数的$\mathfrak A$的基数$\mathfrak c$承认一个严格的积极措施。这一结果主要是由于法拉和维利科维奇。
Depth of Boolean algebras
证明了一个关于布尔代数的超积除以超滤子的深度与每个分支的深度的乘积之间关系的定理。这（部分）回答了蒙克的一个公开问题。
Notes on countably generated complete Boolean algebras
本文给出了无原子布尔代数可数生成的一个充要条件，并利用它对Gaifman-Hales和Solovay以及Jech，Kunen和Magidor的一些已知事实给出了新的证明.我们还表明，詹森的编码定理可以用来提供基数保持可数生成的完全布尔代数的任意大的基数。这回答了Jech [5]在1976年提出的一个问题。
Constructive Stone representations for separated swap and Boolean algebras
本文构造性地证明了(II)型分离交换代数的Stone表示定理，并推广了布尔代数的Stone-Čech定理，引入带布尔不等式的集合以在最小逻辑中证明该定理。
On the isomorphism problem for measures on Boolean algebras
本文研究了Maharam定理的可能推广，支持一个可加性测度的布尔代数的分类。证明了支持非原子一致正则测度的布尔代数度量同构于具有勒贝格测度的Jordan代数的子代数.我们给出了一些部分的类似物，用于分类的代数，支持一个更高的一致正则数的非原子测度的可加性。我们表明，一些自然诱导的等价关系连接到度量同构是相当复杂的，即使在Cantor代数，因此，我们可能不能希望一个很好的一般分类定理的可加性措施。我们给出了一个只支持可分测度而不支持一致正则测度的布尔代数的例子。
Ternary Idempotent $Γ$-Semirings, Non-Reducibility, and Higher-Order Path Algebras
本文提出三元幂等Γ半环，证明其严格扩展经典半环路径代数，并展示高阶路径问题的不可约性与复杂性类差异。
Quantum Boolean Algebras
我们引入量子布尔代数，它是布尔仿射空间的Weyl代数的类似物。我们从逻辑和集合论的角度研究量子布尔代数。
The Semiring Properties of Boolean Propositional Algebras
本文阐述了布尔命题代数与半环的关系，给出了布尔命题代数上的偏序的一些结果，以及布尔命题子代数等价于相应的布尔命题代数的必要条件。证明了布尔命题代数上同态函数的象具有布尔命题代数与其子代数的关系。给出了保序同态函数的充要条件，同时也是布尔命题代数的一个推广。
Piecewise Boolean algebras and their domains
我们将分片布尔域，即那些作为分片布尔代数的布尔子代数出现的域。这导致等价的描述的范畴分片布尔代数：无论是作为分片布尔域配备了一个方向，或作为完整的结构层分片布尔域。
Symmetric Boolean Algebras
在线性背景下定义了布尔代数，并研究了它的对称幂。给出了各种维数的对称布尔代数的乘积的显式公式。我们制定对称形式的容斥原理。
Rings and Boolean Algebras as Algebraic Theories
本文提出通过仿射和超仿射代数理论统一表示交换环和布尔环，并探讨了其与布尔集合及多维布尔代数的关系。
Densities of ultraproducts of Boolean algebras
我们回答了J.D. Monk关于布尔代数的基数不变量。其中两个问题是，是否取代数密度pi（A），分别为：布尔代数A的拓扑密度d（A）与超积的形成是等价的;第三个比较了布尔代数的自同态数和理想数。
Embeddings into the countable atomless Boolean algebra
证明了从每个可数分配格到$\mathbb{N}$的可计算子集的布尔代数都有一个格嵌入.在此过程中，我们讨论了格，布尔代数和它们之间的嵌入的所有相关结果。
Length of Boolean algebras and ultraproducts
证明了“布尔代数的超积的长度小于长度的超积”与ZFC的一致性。对于布尔代数的其他基数不变量也是如此。
Topological density of ccc Boolean algebras - every cardinality occurs.
对于每一个不可数基数μ，都有一个拓扑密度为μ的ccc布尔代数。
Cardinal invariants of ultrapoducts of Boolean algebras
本文讨论Monk提出的与布尔代数的超积的基数不变量有关的一些问题。我们还介绍和研究了一些新的基数不变量。
Constructing Boolean algebras for cardinal invariants
我们构造了布尔代数，回答了Monk关于基数不变量的问题。结果在ZFC中得到证明（而不是给出一致性结果）。我们处理存在的超原子布尔代数与“几个自同构”，纠缠序列的线性秩序，和半ZFC的例子，非实现的蔓延（和hL，HD）。
Factor = quotient, uncountable Boolean algebras, number of endomorphism and width
证明了在适当的基数算术下，若B是一个布尔代数，且B的每个同态像同构于一个因子，则B有局部小密度。我们还证明了对一个（无限）布尔代数B，子代数的个数不小于自同态的个数，以及其他相关的不等式。最后讨论了布尔代数的两两不可比元集的基数的上确界的求法。
The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
本文证明随机有序图是规范有序无原子布尔代数的半收缩，回答了Bartošová和Scow的公开问题。
Complete sigma-centered Boolean algebra not adding Cohen reals
证明了存在一个完备的、无原子的、以σ为中心的布尔代数，它不包含任何正则可数子代数当且仅当存在无处稠密超滤子。因此，在ZFC中这类代数的存在性是不可判定的。
When a quotient of a distributive lattice is a boolean algebra
本文引入了关于分配格$L$的非空理想$I$的格同余和$L$上的导子$d$，记作$θ_I^d$ .研究了商代数$L/θ_I^d$成为布尔代数的一些充要条件。
Depth^+ and Length^+ of Boolean algebras
设inv表示布尔代数上的基数不变量Depth^+和Length^+。对于许多奇异基数，我们在inv值的乘积和乘积代数的inv之间创建严格的不等式。证明在ZFC中成立。
Probability over Plonka sums of Boolean algebras: states, metrics and topology
对合双半格是次协调弱Kleene逻辑的代数对应格，其元素表示为布尔代数的Plonka和，本文引入了对合双半格的状态概念。本文研究了对合半格上的状态与Plonka和表示中布尔代数上的概率测度之间的关系，以及这些代数的直接极限.此外，我们还研究了对合双半格作为伪度量空间的完备性，以及由伪度量空间诱导的拓扑。
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
The number of independent elements in the product of interval Boolean algebras
我们证明了在kappa的乘积中许多布尔代数，我们不能找到一个独立集的超过2^kappa元素解决蒙克的问题（早先它是已知的，我们不能找到超过2^{2^kappa}，但可以找到2^kappa）。
On tightness and depth in superatomic Boolean algebras
本文引入了一个与L相容的大基数性质，并证明了对每个超原子布尔代数B和每个具有大基数性质的基数λ，如果紧密度^+（B）>= λ ^+，则深度（B）>= λ.这改进了Dow和Monk的一个定理。
A first-order completeness result about characteristic Boolean algebras in classical realizability
我们证明了以下关于经典可实现性的完备性结果：给定任何至少有两个元素的布尔代数，存在一个Krivine风格的经典可实现性模型，其特征布尔代数与之基本等价，这是通过精确控制所谓的“天使”（或“可能”）和“恶魔”（或“必须”）的非决定性的组合存在于底层计算模型中来实现的。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。