Pages that link to "Item:Q1054715"
From MaRDI portal
The following pages link to Unsolvability of the universal theory of finite groups (Q1054715):
Displayed 15 items.
- Reduction theorem for the type-II conjecture for finite monoids (Q805745) (← links)
- Undecidable problems for completely 0-simple semigroups. (Q1025071) (← links)
- Model-theoretic and algorithmic questions in group theory (Q1063112) (← links)
- Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups (Q1358940) (← links)
- An undecidability theorem for lattices over group rings (Q1377645) (← links)
- The uniform word problem for groups and finite Rees quotients of \(E\)-unitary inverse semigroups (Q1403857) (← links)
- Algorithmic problems for amalgams of finite semigroups (Q1579152) (← links)
- Decidable representations (Q1903681) (← links)
- Asymptotic invariants, complexity of groups and related problems (Q3143713) (← links)
- Use of computers in solving well-known algebra problems (Q3599851) (← links)
- The word problem for cancellation semigroups with zero (Q3712329) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- On the Universal Theory of Torsion and Lacunary Hyperbolic Groups (Q5189811) (← links)