Pseudorecursive varieties of semigroups. II

DOI10.1142/S0218196712500427zbMATH Open1256.03048MaRDI QIDQ2909488FDOQ2909488

Benjamin Wells

Publication date: 30 August 2012

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

Recommendations

• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• On the equational theories of semigroup varieties
• On locally finite varieties with undecidable equational theory.
• scientific article
• scientific article

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)

Cites Work

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

Cited In (10)

• PSEUDORECURSIVE VARIETIES OF SEMIGROUPS—I
• Title not available (Why is that?)
• Minimal non-permutative pseudovarieties of semigroups. II
• Power pseudovarieties of semigroups. II
• COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY
• Applying, extending, and specializing pseudorecursiveness
• 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.
• On the irreducibility of pseudovarieties of semigroups.

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)