scientific article; zbMATH DE number 2154082

MaRDI QIDQ4664629zbMATH OpenFDO

Authors A. N. Khisamiev

Publication date 8 April 2005

Full work available at URL https://eudml.org/doc/51292, http://www.emis.de/journals/SMZ/2004/01/content1.htm

zbMATH Keywords

Abelian groupadmissible setErshov algebrahereditarily finite superstructuresigma-definabilityTuring reducibility

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• scientific article; zbMATH DE number 1396728
• scientific article; zbMATH DE number 1191236
• scientific article; zbMATH DE number 1302874
• scientific article; zbMATH DE number 4085634
• \(\Sigma\)-bounded algebraic systems and universal functions. II

Cited in

(8)

• Universal functions and unbounded branching trees
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)
• Rice sequences of relations
• scientific article; zbMATH DE number 1302874 (Why is no real title available?)
• A computable structure with non-standard computability
• Turing degrees of nonabelian groups
• Quasiresolvent Models
• On universal functions in hereditarily finite superstructures

This page was built for publication:

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