Pages that link to "Item:Q306578"

The following pages link to Abelian \(p\)-groups and the halting problem (Q306578):

Displaying 13 items.

• Effective domination and the bounded jump (Q778723) (← links)
• Effective categoricity of abelian \(p\)-groups (Q1023056) (← links)
• Computability-theoretic categoricity and Scott families (Q1740457) (← links)
• Back and forth relations for reduced abelian \(p\)-groups (Q1902617) (← links)
• Punctual categoricity relative to a computable oracle (Q2030137) (← links)
• Categoricity spectra of computable structures (Q2036466) (← links)
• Enumerating abelian \(p\)-groups (Q2193224) (← links)
• On \(\Delta_2^0\)-categoricity of equivalence relations (Q2346952) (← links)
• Effectively categorical abelian groups (Q2377433) (← links)
• A model-theoretic proof for <i>P ≠ NP</i> over all infinite abelian group (Q4532627) (← links)
• A Friedberg enumeration of equivalence structures (Q4596664) (← links)
• Decompositions of decidable abelian groups (Q5216188) (← links)
• The P-DNP problem for infinite Abelian groups (Q5949384) (← links)