scientific article; zbMATH DE number 2154082

zbMATH Open1063.03019MaRDI QIDQ4664629FDOQ4664629

Authors: A. N. Khisamiev 

Publication date: 8 April 2005

Full work available at URL: https://eudml.org/doc/51292

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

admissible setTuring reducibilityAbelian groupsigma-definabilityErshov algebrahereditarily finite superstructure

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)

Cited In (7)

• Universal functions and unbounded branching trees
• A computable structure with non-standard computability
• On universal functions in hereditarily finite superstructures
• Rice sequences of relations
• Quasiresolvent Models
• Turing degrees of nonabelian groups
• \(\Sigma\)-preorderings in \(\mathbb{HF}(\mathbb{R} )\)

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)