Pages that link to "Item:Q1284377"

The following pages link to Computability of the class of strongly constructivizable Abelian \(p\)-groups (Q1284377):

Displaying 13 items.

• Decidability and computability of certain torsion-free abelian groups (Q976537) (← links)
• Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
• A criterion for strong constructivizability of a class of abelian p- groups (Q1071757) (← links)
• Connection between constructivizibility and strong constructivizibility for different classes of Abelian groups (Q1075317) (← links)
• Computability of the class of strongly constructivizable abelian \(p\)-groups (Q1307188) (← links)
• \(\Pi_{1}^{0}\) classes and orderable groups (Q1612488) (← links)
• Back and forth relations for reduced abelian \(p\)-groups (Q1902617) (← links)
• Constructive Abelian \(p\)-groups (Q1914760) (← links)
• Enumerating abelian \(p\)-groups (Q2193224) (← links)
• The isomorphism problem for computable Abelian _<i>p</i>-groups of bounded length (Q3370768) (← links)
• A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group (Q4532627) (← links)
• Computable topological groups and Pontryagin duality (Q4691089) (← links)
• A first-order theory of Ulm type (Q5211069) (← links)