Undecidable varieties with solvable word problems. II.
Crvenković, S., Dolinka, I. (1996)
Novi Sad Journal of Mathematics
Similarity:
Crvenković, S., Dolinka, I. (1996)
Novi Sad Journal of Mathematics
Similarity:
Crvenković, Siniša, Dolinka, Igor (1998)
Novi Sad Journal of Mathematics
Similarity:
О.Г. Харлампович (1987)
Algebra i Logika
Similarity:
Ewa Graczyńska, Dietmar Schweigert (2007)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varieties in the lattice of all varieties of a given type τ. Dimensions of varieties of lattices...
Edmond Lee (2011)
Open Mathematics
Similarity:
A monoid S 1 obtained by adjoining a unit element to a 2-testable semigroup S is said to be 2-testable. It is shown that a 2-testable monoid S 1 is either inherently non-finitely based or hereditarily finitely based, depending on whether or not the variety generated by the semigroup S contains the Brandt semigroup of order five. Consequently, it is decidable in quadratic time if a finite 2-testable monoid is finitely based.
Jaroslav Ježek (1988)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Klaus Denecke, Rattana Srithus (2006)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
In this paper we consider different relations on the set P(V) of all proper hypersubstitutions with respect to a given variety V and their properties. Using these relations we introduce the cardinalities of the corresponding quotient sets as degrees and determine the properties of solid varieties having given degrees. Finally, for all varieties of bands we determine their degrees.
John T. Baldwin, Joel Berman (1976)
Colloquium Mathematicae
Similarity:
Ramalho, Margarita (2001)
Portugaliae Mathematica. Nova Série
Similarity: