On the computability of ordered fields

DOI10.33048/SEMI.2023.020.081MaRDI QIDQ6587462zbMATH OpenFDO

Authors M. V. Korovina, Oleg Kudinov

Publication date 14 August 2024

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.33048/SEMI.2023.020.081

zbMATH Keywords

complexitycomputabilitycomputable analysiscomputable model theoryindex set

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Applications of computability and recursion theory (03D80) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites work

• Classes of Predictably Computable Functions
• Computable Algebra, General Theory and Theory of Computable Fields
• CONSTRUCTIVE ALGEBRAS I
• Countable homogeneous Boolean algebras
• Degree spectra of real closed fields
• scientific article; zbMATH DE number 1002913 (Why is no real title available?)
• scientific article; zbMATH DE number 3827843 (Why is no real title available?)
• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• scientific article; zbMATH DE number 3779289 (Why is no real title available?)
• scientific article; zbMATH DE number 44117 (Why is no real title available?)
• scientific article; zbMATH DE number 52121 (Why is no real title available?)
• scientific article; zbMATH DE number 1303204 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 2154086 (Why is no real title available?)
• scientific article; zbMATH DE number 1390024 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3387326 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• Spectrum of the field of computable real numbers
• The Uniformity Principle for  -definability
• Theory of Formal Systems. (AM-47)

Cited in

(1)

• Ordered fields and Grzegorczyk's hierarchy

This page was built for publication: On the computability of ordered fields

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