Every real closed field has an integer part

DOI10.2307/2275224MaRDI QIDQ3138018zbMATH OpenOpenAlexFDO

Authors Marie-Hélène Mourgues, J.-P. Ressayre

Publication date 24 October 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275224

zbMATH Keywords

integral partordered fieldreal closure

Mathematics Subject Classification ID

Valued fields (12J10) Ordered fields (12J15)

Recommendations

• scientific article; zbMATH DE number 38715
• scientific article; zbMATH DE number 440484
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Quite complete real closed fields
• Totally real closures of orderable number fields
• A construction of real closed fields
• The field of rational numbers is algebraically closed in some of its topological completions
• scientific article; zbMATH DE number 2169345
• Defining the set of integers in expansions of the real field by a closed discrete set

Cited in

(26)

• Embedding ordered fields in formal power series fields
• Algebraic properties of rings of generalized power series
• Lengths of developments in \(K((G))\)
• Real closures of models of weak arithmetic
• Ordered fields dense in their real closure and definable convex valuations
• Lengths of roots of polynomials in a Hahn field
• Towers of complements to valuation rings and truncation closed embeddings of valued fields
• Well quasi-orderings and roots of polynomials in a Hahn field
• Arithmetization of the field of reals with exponentiation extended abstract
• 2009 North American Annual Meeting of the Association for Symbolic Logic
• Infinitesimals are too small for countably infinite fair lotteries
• Defining integer-valued functions in rings of continuous definable functions over a topological field
• Surreal ordered exponential fields
• On Rayner structures
• ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD
• The absolute arithmetic continuum and the unification of all numbers great and small
• Exponential fields and Conway’s omega-map
• Logarithmic-exponential series
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• A factorisation theory for generalised power series and omnific integers
• Limit computable integer parts
• Cyclic 2-structures and spaces of orderings of power series fields in two variables
• Truncation structures
• Analogues of Shepherdson's theorem for a language with exponentiation
• Embedding Henselian fields into power series
• The Skolem-Bang theorems in ordered fields with an IP

This page was built for publication: Every real closed field has an integer part

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