Related papers: On the hyperfields associated to valued fields
The main aim of this article is to study and develop valuation theory for Krasner hyperfields. In analogy with classical valuation theory for fields, we generalise the formalism of valuation rings to describe equivalence of valuations on…
In 1957 M.\ Krasner described a complete valued field $(K,v)$ via the projective limit of a system of certain structures, called hyperfields, associated to $(K,v)$. We put this result in purely category-theoretic terms by translating into a…
We study the behaviour of forking in valued fields, and we give several sufficient conditions for parameter sets in a Henselian valued field of residue characteristic zero to be an extension base. Notably, we consider arbitrary (potentially…
We develop a theory of extensions of hyperfields that generalizes the notion of field extensions. Since hyperfields have a multivalued addition, we must consider two kinds of extensions that we call weak hyperfield extensions and strong…
In this paper, we concern the model theory of finitely ramified henselian valued fields via higher valued hyperfields. Most of all, we provide a number of Ax-Kochen-Ershov Theorems for finitely ramified henselian valued fields relative to…
We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of…
In this paper, we undertake a systematic model and valuation theoretic study of the class of ordered fields which are dense in their real closure. We apply this study to determine definable henselian valuations on ordered fields, in the…
We characterize intrinsically the truncation structures on valued fields arising from embeddings into Hahn fields with truncation closed image.
Inspired by superstring field theory, we study differential, integral, and inverse forms and their mutual relations on a supermanifold from a sheaf-theoretical point of view. In particular, the formal distributional properties of integral…
We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
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…
We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…
Using the ramification theory of tame and Kaplansky fields, we show that maximal Kaplansky fields contain maximal immediate extensions of each of their subfields. Likewise, algebraically maximal Kaplansky fields contain maximal immediate…
The u-invariant of a field is the largest dimension of an anisotropic quadratic torsion form over the field. In this article we obtain a bound on the u-invariant of function fields in one variable over a henselian valued field with…
The paper proves the intermediate value theorem for polynomials and power series over a valued field with divisible valuation group and infinite residue field. Some further results on the behaviour of the valuation are obtained using…
We investigate the model completeness of the theory of a mixed characteristic henselian valued field with finite ramification relative to the residue field and value group. We address the case in which the valued field has a value group…
We describe the additive subgroups of fields which are closed with respect to taking inverses. In particular, in characteristic different from two any such subgroup is either a subfield or the kernel of the trace map of a quadratic…
We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.
Inspired by Conway's surreal numbers, we study real closed fields whose value group is isomorphic to the additive reduct of the field. We call such fields omega-fields and we prove that any omega-field of bounded Hahn series with real…