Results 191 to 200 of about 3,865 (225)
Some of the next articles are maybe not open access.
Iterated discriminator varieties have undecidable theories
Algebra Universalis, 1985The 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
openaire +3 more sources
Conditional geometric scales of discriminator varieties
Siberian Mathematical Journal, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Free algebras in discriminator varieties
Algebra Universalis, 1995The 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 ...
openaire +3 more sources
Decidable discriminator varieties with lattice stalks
Algebra Universalis, 1994Abstract: "We determine those universal classes of lattices which generate a decidable discriminator variety when augmented by a ternary discriminator term. They are the locally finite universal classes whose finite members are almost homogeneous."
openaire +3 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
Countable embeddability skeletons of discriminator varieties
Algebra and Logic, 1989Let \({\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 ...
openaire +3 more sources
Algebra Universalis, 1994
Abstract: "In this paper we determine those locally finite varieties that generate decidable discriminator varieties when argumented by a ternary discriminator term."
Valeriote, M. A., Willard, R.
openaire +2 more sources
Abstract: "In this paper we determine those locally finite varieties that generate decidable discriminator varieties when argumented by a ternary discriminator term."
Valeriote, M. A., Willard, R.
openaire +2 more sources
International Journal of Algebra and Computation, 2014
We generalize the notion of discriminator variety in such a way as to capture several varieties of algebras arising mainly from fuzzy logic. After investigating the extent to which this more general concept retains the basic properties of discriminator varieties, we give both an equational and a purely algebraic characterization of quasi-discriminator ...
PAOLI, FRANCESCO +3 more
openaire +1 more source
We generalize the notion of discriminator variety in such a way as to capture several varieties of algebras arising mainly from fuzzy logic. After investigating the extent to which this more general concept retains the basic properties of discriminator varieties, we give both an equational and a purely algebraic characterization of quasi-discriminator ...
PAOLI, FRANCESCO +3 more
openaire +1 more source