Complexity of structures associated with real closed fields

DOI10.1112/PLMS/PDS070MaRDI QIDQ5327135zbMATH OpenOpenAlexFDO

Authors Karen Lange, J. 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

complexity of value group sectionscomputabilitygeneralized seriesinteger partreal closed fieldsresidue 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)

Recommendations

• Limit computable integer parts
• Real closed exponential fields
• Lengths of developments in \(K((G))\)
• Structures associated with real closed fields and the axiom of choice
• scientific article; zbMATH DE number 440484

Cited in

(13)

• A survey on real structural complexity theory
• Computable valued fields
• Lengths of developments in \(K((G))\)
• Degree spectra of real closed fields
• Lengths of roots of polynomials in a Hahn field
• Comparing two versions of the reals
• Real closed exponential fields
• Well quasi-orderings and roots of polynomials in a Hahn field
• Structures associated with real closed fields and the axiom of choice
• scientific article; zbMATH DE number 769607 (Why is no real title available?)
• Independence in computable algebra
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Limit computable integer parts

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

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