Coproducts of Boolean algebras and chains with applications to Post algebras
R. Balbes, Ph. Dwinger (1971)
Colloquium Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “A note on the fixed point for the polynomials of a boolean algebra with an operator of endomorphism”
Coproducts of Boolean algebras and chains with applications to Post algebras
On a problem of Sikorski in the set representability of Boolean algebras
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
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.
On some connections between Boolean algebras and Heyting algebras
Dimitrii E. Pal'chunov, Alain Touraille (1992)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Functional monadic -valued Łukasiewicz algebras
A. V. Figallo, Claudia A. Sanza, Alicia Ziliani (2005)
Mathematica Bohemica
Similarity:
Some functional representation theorems for monadic -valued Łukasiewicz algebras (qLk-algebras, for short) are given. Bearing in mind some of the results established by G. Georgescu and C. Vraciu (Algebre Boole monadice si algebre Łukasiewicz monadice, Studii Cercet. Mat. 23 (1971), 1027–1048) and P. Halmos (Algebraic Logic, Chelsea, New York, 1962), two functional representation theorems for qLk-algebras are obtained. Besides, rich qLk-algebras are introduced and characterized....
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).
Topological representation for monadic implication algebras
Abad Manuel, Cimadamore Cecilia, Díaz Varela José (2009)
Open Mathematics
Similarity:
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.
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 extending of partial Boolean algebras to partial *-algebras
Janusz Czelakowski (1978)
Colloquium Mathematicae
Similarity: