A subset $A$ of a Boolean algebra $B$ is said to be $(n,m)$-reaped if there is a partition of unity $P \subset B$ of size $n$ such that the cardinality of $\{b \in P: b \wedge a \neq \emptyset\}$ is greater than or equal to $m$ for all $a\in A$. The reaping number $r_{n,m}(B)$ of a Boolean algebra $B$ is the minimum cardinality of a set $A \subset B\setminus \{0\}$ such which cannot be $(n,m)$-reaped. It is shown that, for each $n \in ω$, there is a Boolean algebra $B$ such that $r_{n+1,2}(B) \neq r_{n,2}(B)$. Also, $\{r_{n,m}(B) : \{n,m\}\subseteqω\}$ consists of at most two consecutive integers. The existence of a Boolean algebra $B$ such that $r_{n,m}(B) \neq r_{n',m'}(B)$ is equivalent to a statement in finite combinatorics which is also discussed.
Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(ω)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras, including interval algebras, tree algebras, and pseudo-tree algebras.
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).
In this paper we classify some special reducts of the countable atomless Boolean algebra which we call functional reducts. We prove that there are exactly $13$ such structures up to first order interdefinability.
Skew Boolean algebras (skew BA) and Boolean-like algebras (nBA) are one-pointed and n-pointed noncommutative generalisation of Boolean algebras, respectively. We show that any nBA is a cluster of n isomorphic right-handed skew BAs, axiomatised here as the variety of skew star algebras. The variety of skew star algebras is shown to be term equivalent to the variety of nBAs. We use skew BAs in order to develop a general theory of multideals for nBAs. We also provide a representation theorem for right-handed skew BAs in terms of nBAs of n-partitions.
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.
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.
We investigate reflection-type problems on the class SPM, of Boolean algebras carrying strictly positive finitely additive measures. We show, in particular, that in the constructible universe there is a Boolean algebra $\mathfrak A$ which is not in SPM but every subalgebra of $\mathfrak A$ of cardinality $\mathfrak c$ admits a strictly positive measure. This result is essentially due to Farah and Velickovic.
We give a necessary and sufficient condition for an atomless Boolean algebra to be countably generated, and use it to give new proofs of some some know facts due to Gaifman-Hales and Solovay and also due to Jech, Kunen and Magidor. We also show that Jensen's coding theorem can be used to provide cardinal preserving countably generated complete Boolean algebras of arbitrary large cardinality. This answers a question of Jech [5] from 1976.
G. Sambin提供了完备布尔代数的构造性版本。在这里,我们首先显示一些性质有关重叠代数:我们证明了重叠态射的概念对应于经典的地图保持任意连接;我们提供了一个描述的原子集为基础的重叠代数的语言形式的拓扑,从而给出了一个谓词性的特点离散locale;我们表明,一个集合的幂集是自由重叠代数join-generated从集合。然后,我们推广重叠代数和重叠态射的概念,以各种方式提供建设性的版本的类别的布尔代数与地图保持任意现有的连接。
If $A$ is an infinite Boolean algebra the cardinal invariant $\mathfrak{a}(A)$ is defined as the smallest size of an infinite partition of $A$. The cardinal $\mathfrak{a}(A\oplus B)$, where $A\oplus B$ is the free product of the Boolean algebras $A$ and $B$ (whose dual topological space is the product of the dual topological spaces of $A$ and $B$), is below both $\mathfrak{a}(A)$ and $\mathfrak{a}(B)$. The equality $\mathfrak{a}(A\oplus B)=\min\lbrace\mathfrak{a}(A),\mathfrak{a}(B)\rbrace$ is not known to hold for all infinite Boolean algebras $A$ and $B$. Here some lower bounds of $\mathfrak{…
We study two generalizations of the Rudin-Keisler ordering to ultrafilters on complete Boolean algebras. To highlight the difference between them, we develop new techniques to construct incomparable ultrafilters in this setting. Furthermore, we discuss the relation with Tukey reducibility and prove that, assuming the Continuum Hypothesis, there exist ultrafilters on the Cohen algebra which are RK-equivalent in the generalized sense but Tukey-incomparable, in stark contrast with the classical setting.
We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov [4], the former case of independence can be seen as the discrete version of the latter.
We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\star )$. CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP…
Characterising projective and weakly projective Boolean algebras by coherent Freese--Nation separations
Czech Academy of Sciences(捷克科学院);Institute of Mathematics and Computer Science Jagiellonian University(雅盖隆大学数学与计算机研究所);University of Silesia in Katowice(卡托维兹西里西亚大学);Institute of Mathematics Cardinal Stefan Wyszyński University in Warsaw(华沙斯特凡·维辛斯基红衣主教大学数学研究所)
Moisil in 1941, while constructing the algebraic models of n-valued Łukasiewicz logic defined the set $B^{[n]}$,where $B$ is a Boolean algebra and `n' being a natural number. Further it was proved by Moisil himself the representations of n-valued Łukasiewicz Moisil algebra in terms of $B^{[n]}$. In this article, structural representation results for Stone, dual Stone and double Stone algebras are proved similar to Moisil's work by showing that elements of these algebras can be looked upon as monotone ordered tuple of sets. 3-valued semantics of logic for Stone algebra, dual Stone algebras and …
In this paper, we investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra. Also, we study boolean additive derivations and their adjoint derivations. In particular, we get that the fixed point set of boolean addition derivations and that of their adjoint derivations are isomorphism. Moreover, we prove that every MV-algebras are isomorphic to the direct product of the fixed point set of boolean additive derivations and that of thei…
Hyper Swap Structures: The Case Study of LFIs and Hyper Boolean Algebras
Centre for Logic, Epistemology and the History of Science (CLE), State University of Campinas (UNICAMP)(圣保罗州立大学逻辑、认识论与科学史中心);Institute of Philosophy and the Humanities (IFCH), State University of Campinas (UNICAMP)(圣保罗州立大学哲学与人文学院);School of Sciences and Engineering (FCE), São Paulo State University (UNESP)(圣保罗州立大学科学与工程学院)