The following conjecture is due to Shelah–Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non‐trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.
We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018).
We explain how the field of logarithmic-exponential series constructed in 20 and 21 embeds as an exponential field in any field of exponential-logarithmic series constructed in 9, 6, and 13. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Thequation image; the elementary theory of the ordered field of real numbers, with the (...) exponential function and restricted analytic functions. (shrink)
We give a valuation theoretic characterization for a real closed field to be recursively saturated. This builds on work in , where the authors gave such a characterization forκ-saturation, for a cardinal$\kappa \ge \aleph _0 $. Our result extends the characterization of Harnik and Ressayre  for a divisible ordered abelian group to be recursively saturated.
Given an ordered fieldK, we compute the natural valuation and skeleton of the ordered multiplicative group (K >0, ·, 1, <) in terms of those of the ordered additive group (K,+,0,<). We use this computation to provide necessary and sufficient conditions on the value groupv(K) and residue field $\bar K$ , for theL ∞ε-equivalence of the above mentioned groups. We then apply the results to exponential fields, and describev(K) in that case. Finally, ifK is countable or a power series field, (...) we derive necessary and sufficient conditions onv(K) and $\bar K$ forK to be exponential. In the countable case, we get a structure theorem forv(K). (shrink)
In [F.-V. Kuhlmann, S. Kuhlmann, S. Shelah, Exponentiation in power series fields, Proc. Amer. Math. Soc. 125 3177–3183] it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows us to construct for every κ regular uncountable cardinal, 2κ pairwise non-isomorphic (...) models of real exponentiation , but all isomorphic as ordered fields. Indeed, the 2κ exponentials constructed have pairwise distinct growth rates. This method relies on constructing lexicographic chains with many automorphisms. (shrink)
Given a Henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any Henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for (...) a t-Henselian non-Henselian ordered field elementarily equivalent to a Henselian field with a specified value group. (shrink)
§1. Introduction.The motivation of this work comes from two different directions: infinite abelian groups, and ordered algebraic structures. A challenging problem in both cases is that of classification. In the first case, it is known for example (cf. [KA]) that the classification of abelian torsion groups amounts to that of reducedp-groups by numerical invariants called theUlm invariants(given by Ulm in [U]). Ulm's theorem was later generalized by P. Hill to the class of totally projective groups. As to the second case, (...) let us consider for instance the class of divisible ordered abelian groups. These may be viewed as ordered ℚ-vector spaces. Their theory being unstable, we cannot hope to classify them by numerical invariants. On the other hand, being o-minimal, the theory enjoys several good model theoretic properties (cf. [P-S]), so the search for some reasonable invariants is well motivated. The common denominator of the two cases, as well as of many others, is valuation theory. Indeed given an ordered vector space, one can consider it as a valued vector space, endowed with the natural valuation. Also, the socleG[p] of a reduced abelianp-groupG, endowed with the height functionhG, is a valued vector space over(the prime field of characteristicp) with values in the ordinals (cf. [F]). (shrink)