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.
R. Balbes, Ph. Dwinger (1971)
Colloquium Mathematicae
Similarity:
Žarko Mijajlović (1979)
Publications de l'Institut Mathématique
Similarity:
Robert Lagrange (1974)
Colloquium Mathematicae
Similarity:
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).
Gabriele Ricci (2010)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients. The main example, we consider outside vector spaces, concerns...
Giuliana Gnani, Giuliano Mazzanti (1999)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
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....
Tahsin Oner, Ibrahim Senturk (2017)
Open Mathematics
Similarity:
In this study, a term operation Sheffer stroke is presented in a given basic algebra 𝒜 and the properties of the Sheffer stroke reduct of 𝒜 are examined. In addition, we qualify such Sheffer stroke basic algebras. Finally, we construct a bridge between Sheffer stroke basic algebras and Boolean algebras.
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.
Paul Iverson (1991)
Colloquium Mathematicae
Similarity:
There is a conjecture of Vaught [17] which states: Without The Generalized Continuum Hypothesis one can prove the existence of a complete theory with exactly nonisomorphic, denumerable models. In this paper we show that there is no such theory in the class of complete extensions of the theory of Boolean algebras. More precisely, any complete extension of the theory of Boolean algebras has either 1 or nonisomorphic, countable models. Thus we answer this conjecture in the negative...