Every real closed field has an integer part
From MaRDI portal
Publication:3138018
DOI10.2307/2275224zbMath0786.12005OpenAlexW1987577019MaRDI QIDQ3138018
Marie-Hélène Mourgues, Jean-Pierre 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
Related Items
Ordered fields dense in their real closure and definable convex valuations, On Rayner structures, Exponential fields and Conway’s omega-map, ON SYMMETRIC CUTS OF A REAL-CLOSED FIELD, Embedding Henselian fields into power series, Real closures of models of weak arithmetic, Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts, Arithmetization of the field of reals with exponentiation extended abstract, 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, Lengths of developments in \(K((G))\), The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small, Well Quasi-orderings and Roots of Polynomials in a Hahn Field, The Skolem-Bang theorems in ordered fields with an IP, Infinitesimals are too small for countably infinite fair lotteries, Lengths of roots of polynomials in a Hahn field, Logarithmic-exponential series, Towers of complements to valuation rings and truncation closed embeddings of valued fields, Defining integer-valued functions in rings of continuous definable functions over a topological field, 2009 North American Annual Meeting of the Association for Symbolic Logic, SURREAL ORDERED EXPONENTIAL FIELDS, Embedding ordered fields in formal power series fields, Algebraic properties of rings of generalized power series
