Pseudorecursive varieties of semigroups. II

DOI10.1142/S0218196712500427MaRDI QIDQ2909488zbMATH OpenFDO

Authors Benjamin Wells

Publication date 30 August 2012

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

interpretationreducibilitysemigroupvarietyword problemrewriting systemequational logicundecidable theory

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Equational classes, universal algebra in model theory (03C05) Undecidability and degrees of sets of sentences (03D35) Varieties and pseudovarieties of semigroups (20M07) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• On the equational theories of semigroup varieties
• On locally finite varieties with undecidable equational theory.
• scientific article; zbMATH DE number 5295822
• scientific article; zbMATH DE number 1186371

Cites work

• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3371593 (Why is no real title available?)
• A LOCALLY FINITE VARIETY OF RINGS WITH AN UNDECIDABLE EQUATIONAL THEORY
• A finitely axiomatizable undecidable equational theory with recursively solvable word problems
• A variety with locally solvable but globally unsolvable word problem
• ALGORITHMIC PROBLEMS IN VARIETIES
• Applying, extending, and specializing pseudorecursiveness
• Formal Reductions of the General Combinatorial Decision Problem
• Hypercomputation by definition
• On locally finite varieties with undecidable equational theory.
• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I

Cited in

(10)

• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• Minimal non-permutative pseudovarieties of semigroups. II
• Power pseudovarieties of semigroups. II
• On the irreducibility of pseudovarieties of semigroups.
• scientific article; zbMATH DE number 3603529 (Why is no real title available?)
• COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY
• The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin
• Hypercomputation by definition
• On locally finite varieties with undecidable equational theory.
• Applying, extending, and specializing pseudorecursiveness

This page was built for publication: Pseudorecursive varieties of semigroups. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909488)