Pages that link to "Item:Q976537"

The following pages link to Decidability and computability of certain torsion-free abelian groups (Q976537):

Displaying 18 items.

• Degrees of orders on torsion-free abelian groups (Q385079) (← links)
• Enumerations and completely decomposable torsion-free abelian groups (Q733745) (← links)
• Computability of the class of strongly constructivizable Abelian \(p\)-groups (Q1284377) (← links)
• Computability of the class of strongly constructivizable abelian \(p\)-groups (Q1307188) (← links)
• Computable torsion abelian groups (Q1688648) (← links)
• Effectively completely decomposable Abelian groups. (Q1847311) (← links)
• On decidability of amenability in computable groups (Q2085571) (← links)
• Effectively categorical abelian groups (Q2377433) (← links)
• Computable abelian groups (Q2795203) (← links)
• The Join Levels of the Trotter-Weil Hierarchy Are Decidable (Q2912759) (← links)
• On Constructive Nilpotent Groups (Q2970967) (← links)
• Computable completely decomposable groups (Q3190417) (← links)
• Undecidable theories of valuated abelian groups (Q3218311) (← links)
• (Q3338213) (← links)
• The computational complexity of torsion-freeness of finitely presented groups (Q4374809) (← links)
• (Q4395571) (← links)
• The decomposability problem for torsion-free abelian groups is analytic-complete (Q5255271) (← links)
• Индексное множество автоустойчивых упорядоченных абелевых групп (Q5878775) (← links)