Results 111 to 120 of about 1,728 (218)
Representation of an MV-algebra by its triangular norms
Any given complete and atomic Boolean algebra can be embedded into a dense MV-algebra in such a way that the Boolean algebra formed by the idempotent elements of the MV-algebra is isomorphic to the given Boolean algebra.
Ray, Suryansu, Sessa, Salvatore
core +1 more source
Is Each Boolean Algebra, B, h2(B)-Unsupported?
. If κ is an infinite cardinal, a complete Boolean algebra B is called κ-supported if and only if for each sequence 〈bβ: β<κ 〉 of elements of B there holds V W α<κ β>α bβ = W A∈[κ] κ V β∈A bβ.
Miloˇs S. Kurilić
core
On the representation of 𝛼-complete Boolean algebras [PDF]
openaire +2 more sources
Boolean full Kripke structures are alg-universal [PDF]
Every group is isomorphic to the automorphism group of a Kripke structure with Boolean part equal to a power set Boolean algebra. More generally, we prove that the category of Kripke structures with Boolean part equal to a power set Boolean algebra ...
Pinto, M. Céu
core
Complete Boolean Algebras and Extremally Disconnected Compact Spaces
We study the existence of special points in extremally disconnected compact topological spaces that witness their nonhomogeneity. Via Stone duality, we are looking for ultrafilters on complete Boolean algebras with special combinatorial properties.
Starý, Jan
core
Cofinalities of complete boolean algebras
openaire +2 more sources
Bibliography: leaves 121-122.The Boolean ultrapower construction is a generalisation of the ordinary ultrapower construction in that an arbitrary complete Boolean algebra replaces the customary powerset Boolean algebra. B. Koppelberg and S.
Fish, Washiela
core
Kolmogorovian Censorship, Predictive Incompleteness, and the Locality Loophole in Bell Experiments. [PDF]
Grangier P.
europepmc +1 more source
On the completeness of the quotient algebras of a complete boolean algebra I
openaire +3 more sources
Factorization norms and an inverse theorem for MaxCut. [PDF]
Balla I, Hambardzumyan L, Tomon I.
europepmc +1 more source

