Pages that link to "Item:Q1065930"

The following pages link to Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I (Q1065930):

Displayed 14 items.

• Subgroups of free metabelian groups. (Q531903) ‎ (← links)
• Finitely presented solvable groups and Lie algebras with unsolvable word problem (Q916783) ‎ (← links)
• The isomorphism problem for toral relatively hyperbolic groups. (Q1044356) ‎ (← links)
• Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. III (Q1118677) ‎ (← links)
• The algorithmic theory of polycyclic-by-finite groups (Q1178862) ‎ (← links)
• The third commutant membership problem in solvable groups (Q1288228) ‎ (← links)
• Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two (Q2676823) ‎ (← links)
• Infinite presentability of groups and condensation (Q2921051) ‎ (← links)
• European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) ‎ (← links)
• Deciding if an automorphism of an infinite soluble group is inner (Q3496403) ‎ (← links)
• Undecidability of the identity problem for finite semigroups (Q4008756) ‎ (← links)
• The Algorithmic Theory of Finitely Generated Metabelian Groups (Q4311344) ‎ (← links)
• Amenable groups without finitely presented amenable covers (Q4929242) ‎ (← links)
• THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES (Q5086506) ‎ (← links)