Pages that link to "Item:Q3370768"

The following pages link to The isomorphism problem for computable Abelian _<i>p</i>-groups of bounded length (Q3370768):

Displaying 28 items.

• Comparing classes of finite sums (Q282120) (← links)
• Abelian \(p\)-groups and the halting problem (Q306578) (← links)
• The computable embedding problem (Q695798) (← links)
• The \(\delta_\alpha^0\)-computable enumerations of the classes of projective planes (Q721363) (← links)
• Complexity of the isomorphism problem for computable free projective planes of finite rank (Q721371) (← links)
• PAC learning, VC dimension, and the arithmetic hierarchy (Q892140) (← links)
• Computable numberings of the class of Boolean algebras with distinguished endomorphisms (Q893075) (← links)
• The isomorphism problem for torsion-free abelian groups is analytic complete (Q952542) (← links)
• Index sets for some classes of structures (Q1006610) (← 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)
• Scott sentences for certain groups (Q1745362) (← links)
• Computable transformations of structures (Q2011638) (← links)
• Enumerating abelian \(p\)-groups (Q2193224) (← links)
• Scott sentences for equivalence structures (Q2309506) (← links)
• The embedding problem for computable projective planes (Q2401546) (← links)
• Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
• Computable abelian groups (Q2795203) (← links)
• On the $n$-back-and-forth types of Boolean algebras (Q3116576) (← links)
• Classification from a Computable Viewpoint (Q3430937) (← links)
• Isomorphisms, definable relations, and Scott families of class 2 nilpotent groups (Q3546091) (← links)
• Equivalence Relations on Classes of Computable Structures (Q3576052) (← links)
• A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group (Q4532627) (← links)
• Torsion-free abelian groups with optimal Scott families (Q4565755) (← links)
• On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite p-groups (Q4983072) (← links)
• A first-order theory of Ulm type (Q5211069) (← links)
• The complexity of decomposability of computable rings (Q6100980) (← links)
• Computability in infinite Galois theory and algorithmically random algebraic fields (Q6641590) (← links)