Spectrum of the field of computable real numbers

DOI10.1007/s10469-017-9419-8zbMath1420.03113OpenAlexW2595549331MaRDI QIDQ2401539

Margarita Korovina, Oleg V. Kudinov

Publication date: 4 September 2017

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-017-9419-8

zbMATH Keywords

Turing degreefield of computable real numbers

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Other Turing degree structures (03D28) Computation over the reals, computable analysis (03D78)

Related Items (2)

Degree spectra of real closed fields ⋮ Degree spectra of structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computable structures and the hyperarithmetical hierarchy
• Introduction to model theory and to the metamathematics of algebra
• Spectra of highn and non-lown degrees
• Effective procedures in field theory
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability
• Degrees in Which the Recursive Sets are Uniformly Recursive
• Mean value theorems in constructive analysis
• Recursive Real Numbers

This page was built for publication: Spectrum of the field of computable real numbers