Degree spectra of real closed fields

DOI10.1007/s00153-018-0638-zzbMath1477.03169arXiv1807.07489OpenAlexW2883324280WikidataQ129492774 ScholiaQ129492774MaRDI QIDQ1734266

Victor Ocasio González, Russell G. Miller

Publication date: 27 March 2019

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.07489

zbMATH Keywords

computability theoryresidue fieldsreal closed fieldscomputable structure theorydegree spectra

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (4)

Primitive recursive ordered fields and some applications ⋮ A note on decidable categoricity and index sets ⋮ Primitive recursive ordered fields and some applications ⋮ Degree spectra of structures

Cites Work

• Unnamed Item
• Unnamed Item
• Generic Muchnik reducibility and presentations of fields
• Degrees of orderings not isomorphic to recursive linear orderings
• Degree spectra and computable dimensions in algebraic structures
• Spectrum of the field of computable real numbers
• The -spectrum of a linear order
• Spectra of highn and non-lown degrees
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Degrees coded in jumps of orderings
• A note on computable real fields
• Every Low Boolean Algebra is Isomorphic to a Recursive One
• A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS
• Degrees of Structures
• Complexity of structures associated with real closed fields
• Degrees in Which the Recursive Sets are Uniformly Recursive
• COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY

This page was built for publication: Degree spectra of real closed fields