Complexity of structures associated with real closed fields

DOI10.1112/plms/pds070zbMath1294.03029OpenAlexW1986032942MaRDI QIDQ5327135

Karen Lange, Julia F. Knight

Publication date: 5 August 2013

Published in: Proceedings of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/plms/pds070

zbMATH Keywords

computabilityinteger partreal closed fieldsgeneralized seriescomplexity of value group sectionsresidue field sections

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Model theory of ordered structures; o-minimality (03C64) Theory of numerations, effectively presented structures (03D45) Ordered fields (12J15) Model theory of fields (12L12)

Related Items (7)

Computable valued fields ⋮ COMPARING TWO VERSIONS OF THE REALS ⋮ Lengths of developments in \(K((G))\) ⋮ Well Quasi-orderings and Roots of Polynomials in a Hahn Field ⋮ Degree spectra of real closed fields ⋮ Independence in computable algebra ⋮ Lengths of roots of polynomials in a Hahn field

This page was built for publication: Complexity of structures associated with real closed fields