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:
György Pollák (1989)
Semigroup forum
Similarity:
Crvenković, S., Delić, D. (1996)
Novi Sad Journal of Mathematics
Similarity:
Ju.G. Koselev (1992)
Semigroup forum
Similarity:
M.V. Sapir (1991)
Semigroup forum
Similarity:
T.E. Hall (1978)
Semigroup forum
Similarity:
G.T. Clarke (1981)
Semigroup forum
Similarity:
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.
V. Koubek (1993)
Semigroup forum
Similarity:
M.V. Volkov (1984)
Semigroup forum
Similarity:
D. Schweigert (1983)
Semigroup forum
Similarity:
Avapa Chantasartrassmee, Jörg Koppitz (2005)
Discussiones Mathematicae - General Algebra and Applications
Similarity:
he class of all M-solid varieties of a given type t forms a complete sublattice of the lattice ℒ(τ) of all varieties of algebrasof type t. This gives a tool for a better description of the lattice ℒ(τ) by characterization of complete sublattices. In particular, this was done for varieties of semigroups by L. Polák ([10]) as well as by Denecke and Koppitz ([4], [5]). Denecke and Hounnon characterized M-solid varieties of semirings ([3]) and M-solid varieties of groups were characterized...