Ash's theorem for abstract structures

MaRDI QIDQ5494238zbMATH OpenFDO

Authors Ivan N. Soskov, V. Baleva

Publication date 17 October 2006

zbMATH Keywords

abstract computabilityenumeration jumpenumeration reducibility

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• scientific article; zbMATH DE number 7332477
• Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
• Intrinsically Hyperarithmetical Sets
• Intrinsically II Relations
• Ash's theorem on \(\Delta_{\alpha}^{0}\)-categorical structures and a condition for infinite \(\Delta_{\alpha}^{0}\)-dimension

Cited in

(3)

• Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures
• Enumeration reducibility and computable structure theory
• A Lopez-Escobar theorem for continuous domains

This page was built for publication: Ash's theorem for abstract structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5494238)