Pages that link to "Item:Q1918965"
From MaRDI portal
The following pages link to A variety with locally solvable but globally unsolvable word problem (Q1918965):
Displaying 6 items.
- Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
- Pseudorecursive varieties of semigroups. II (Q2909488) (← links)
- A LOCALLY FINITE VARIETY OF RINGS WITH AN UNDECIDABLE EQUATIONAL THEORY (Q3429797) (← links)
- A Variety with Solvable, but not Uniformly Solvable, Word Problem (Q4290004) (← links)
- THE TYPE SET OF A VARIETY IS NOT COMPUTABLE (Q4786272) (← links)
- A finitely axiomatizable undecidable equational theory with recursively solvable word problems (Q4955722) (← links)