Related papers: Okutsu sequences in Henselian fields

In this paper, for a valued field $(K, v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ a relation between induced complete sequences of abstract key polynomials and MacLane-Vaqui\'e chains is given.

Let $K\to L$ be an algebraic field extension and $\nu$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{\nu'\right\}$ of $\nu$ to $L$ using a refined version of MacLane's key polynomials. In…

We establish a non-Archimedean analogue of Koksma's theorem. For a local field F of characteristic zero, we prove that the sequence ([{\alpha}x^n]) is uniformly distributed in the valuation ring O for almost every x with |x|_p>1. In the…

Let $(L, v_L) / (K, v_K)$ be a finite or purely transcendental extension of real valued fields. We construct the associated integral cotangent and log cotangent complexes in terms of a MacLane-Vaqui\'e chain approximating $v_L$. This leads…

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

Let $K$ be a henselian valued field with ${\cal O}_K$ its valuation ring, $\Gamma$ its value group, and $\boldsymbol{k}$ its residue field. We study the definable subsets of ${\cal O}_K$ and algebraic groups definable over ${\cal O}_K$ in…

For a certain field $K$, we construct a valuation-algebraic valuation on the polynomial ring $K[x]$, whose Maclane--Vaqui\'e chain consists of an infinite (countable) number of limit augmentations

Let $(K,v)$ be a valued field and let $(K^h,v^h)$ be the henselization determined by the choice of an extension of $v$ to an algebraic closure of $K$. Consider an embedding $v(K^*)\hookrightarrow\Lambda$ of the value group into a divisible…

In 2012 G\u{a}vru\c{t}a introduced the notions of $K$-frame and of atomic system for a linear bounded operator $K$ in a Hilbert space $\mathcal{H}$, in order to decompose its range $\mathcal{R}(K)$ with a frame-like expansion. In this…

We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…

Let $(K,v)$ be a valued field, and $\mu$ an inductive valuation on $K[x]$ extending $v$. Let $G_\mu$ be the graded algebra of $\mu$ over $K[x]$, and $\kappa$ the maximal subfield of the subring of $G_\mu$ formed by the homogeneous elements…

Let $V$ be a valuation domain with quotient field $K$. We show how to describe all extensions of $V$ to $K(X)$ when the $V$-adic completion $\widehat{K}$ is algebraically closed, generalizing a similar result obtained by Ostrowski in the…

We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

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…

Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines…

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…

Let $(K, \nu)$ be a valued field, the notions of \emph{augmented valuation}, of \emph{limit augmented valuation} and of \emph{admissible family} of valuations enable to give a description of any valuation $\mu$ of $K [x]$ extending $\nu$.…