Displaying similar documents to “On some numerical characterization of Boolean algebras”

The elementary-equivalence classes of clopen algebras of P-spaces

Brian Wynne (2008)

Fundamenta Mathematicae

Similarity:

Two Boolean algebras are elementarily equivalent if and only if they satisfy the same first-order statements in the language of Boolean algebras. We prove that every Boolean algebra is elementarily equivalent to the algebra of clopen subsets of a normal P-space.

On Marczewski-Burstin representable algebras

Marek Balcerzak, Artur Bartoszewicz, Piotr Koszmider (2004)

Colloquium Mathematicae

Similarity:

We construct algebras of sets which are not MB-representable. The existence of such algebras was previously known under additional set-theoretic assumptions. On the other hand, we prove that every Boolean algebra is isomorphic to an MB-representable algebra of sets.

Random variables on Boolean and Heyting algebras and their numerical characteristics

Ewa Rydzyńska

Similarity:

1. SummaryWe develop a theory of probability on Boolean and Heyting algebras. By [8], complete probability Heyting algebras and their complete products exist. Therefore we can talk about sequences of independent random variables on a complete Heyting algebra. We are able to define integral, expectation and variance for such random variables. The results can be used in physics, for example in S. Bellert's cosmology, as shown in [7] and [9]. Implications of probability theory on Boolean...

Two constructions of De Morgan algebras and De Morgan quasirings

Ivan Chajda, Günther Eigenthaler (2009)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).