Results 241 to 250 of about 40,865 (297)
Some of the next articles are maybe not open access.
Free algebras in discriminator varieties
Algebra Universalis, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Andréka, H., Jónsson, B., Németi, I.
openaire +4 more sources
Skew Boolean algebras and discriminator varieties
Algebra Universalis, 1995The authors introduce and investigate the class of skew Boolean algebras which are also meet semilattices under the natural skew lattice partial order. The class has connections with two other classes of algebras, namely implicative BCK-algebras and algebras in discriminator varieties.
Bignall, R. J., Leech, J. E.
openaire +4 more sources
Free algebras in discriminator varieties
Algebra Universalis, 1995 The main result of this paper is the representation of the free algebras of a certain class of discriminator varieties, called \({\mathcal M}\)-spectral varieties by the author, as certain Boolean products. \({\mathcal M}\)-spectral varieties are defined as follows: If \({\mathcal L}\) is a language of algebras, \({\mathcal M}\) a class of \({\mathcal ...
D. Vaggione
openalex +2 more sources
Iterated discriminator varieties have undecidable theories
Algebra Universalis, 1985 The author establishes a fairly wide class of discriminator varieties with undecidable theories. The result generalizes the most important example, namely, the variety \(CA_ 1\) of monadic algebras.
Stanley Burris
openalex +2 more sources
Conditional geometric scales of discriminator varieties
Siberian Mathematical Journal, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. G. Pinus
openalex +2 more sources
Expansions of Semi-Heyting Algebras I: Discriminator Varieties
Studia Logica, 2011This paper is a contribution toward developing a theory of expansions of semi-Heyting algebras. The paper has the following objectives:{\parindent=6mm \begin{itemize}\item[(1)] To prove the validity of the following conjecture: There exists a variety \textbf{V} of algebras which would provide a unifying framework to state and prove results which would ...
openaire +4 more sources
Dual discriminator subvarieties of a variety
Algebra Universalis, 1995 The dual discriminator function \(d(x,y,z)\) on a set \(A\) is defined as \(d (a, b, c) = a\) if \(a = b\) and \(d(a,b,c) = c\) if \(a \neq b\). Let \(q(x,y,z)\) be a term of a variety \({\mathcal V}\) of algebras. Then the subvariety \({\mathcal X}\) of \({\mathcal V}\) generated by all algebras in \({\mathcal V}\) where \(q(x,y,z)\) yields the dual ...
E. Fried
openalex +3 more sources
Countable embeddability skeletons of discriminator varieties
Algebra and Logic, 1989 Let \({\mathbb{V}}\) be a variety of algebras. The set I\({\mathbb{V}}\) of isomorphism types of \({\mathbb{V}}\)-algebras together with the quasi-order \(\leq\) defined by the condition \(a\leq b\) iff any algebra of isomorphism type a can be embedded into some algebra of isomorphism type b, is called the embeddability skeleton of \({\mathbb{V ...
A. G. Pinus
openalex +2 more sources
Rich countable epimorphism skeletons of discriminator varieties
Siberian Mathematical Journal, 1990 More or less completing his results from previous papers, the author shows that a discriminator variety \({\mathfrak M}\) which is not finitely generated but either has finite signature or has singleton subalgebras of all its algebras is universal for countable quasiordered sets S, i.e.
A. G. Pinus
openalex +3 more sources