semigroup varieties
Recently Published Documents


TOTAL DOCUMENTS

75
(FIVE YEARS 1)

H-INDEX

9
(FIVE YEARS 0)

2018 ◽  
Vol 46 (11) ◽  
pp. 4625-4653
Author(s):  
Mikhail V. Volkov ◽  
Pedro V. Silva ◽  
Filipa Soares

2012 ◽  
Vol 85 (3) ◽  
pp. 477-512
Author(s):  
Mariusz Grech ◽  
Olga Sapir
Keyword(s):  

2012 ◽  
Vol 22 (05) ◽  
pp. 1250042 ◽  
Author(s):  
BENJAMIN WELLS

Constructions that yield pseudorecursiveness in [I] (Int. J. Algebra Comput.6 (1996) 457–510) are extended in this article. Finitely based varieties of semigroups with increasingly strict expansions by additional unary operation symbols or individual constants are shown to have the pseudorecursive property: the equational theory is undecidable, but the subsets obtained by bounding the number of distinct variables are all recursive. The most stringent case considered here is the single unary operation or distinguished element. New techniques of stratified reducibility and interpretation via rewriting rules are employed to show the property inherits along a chain of theories. Pure semigroup varieties that are both finitely based and pseudorecursive will be discussed in a later paper.


2012 ◽  
Vol 85 (1) ◽  
pp. 97-110 ◽  
Author(s):  
V. Y. Shaprynskiı̌
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document