Quelques généralisations du 17e problème de Hilbert.
The space S of all non-trivial real places on a real function field K|k of trascendence degree one, endowed with a natural topology analogous to that of Dedekind and Weber's Riemann surface, is shown to be a one-dimensional k-analytic manifold, which is homeomorphic with every bounded non-singular real affine model of K|k. The ground field k is an arbitrary ordered, real-closed Cantor field (definition below). The function field K|k is thereby represented as a field of real mappings of S which might...
Let R be a real closed field with a real valuation v. A ℤ-valued semialgebraic function on Rⁿ is called algebraic if it can be written as the sign of a symmetric bilinear form over R[X₁,. .., Xₙ]. We show that the reduction of such a function with respect to v is again algebraic on the residue field. This implies a corresponding result for limits of algebraic functions in definable families.
We prove a convenient equivalent criterion for monotone completeness of ordered fields of generalized power series with exponents in a totally ordered Abelian group G and coefficients in an ordered field F. This enables us to provide examples of such fields (monotone complete or otherwise) with or without integer parts, i.e. discrete subrings approximating each element within 1. We include a new and more straightforward proof that is always Scott complete. In contrast, the Puiseux series field...