相关论文: A criterion for p-henselianity in characteristic p

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…

Admitting a non-trivial $p$-henselian valuation is a weaker assumption on a field than admitting a non-trivial henselian valuation. Unlike henselianity, $p$-henselianity is an elementary property in the language of rings. We are interested…

We show that any theory of tame henselian valued fields is NIP if and only if the theory of its residue field and the theory of its value group are NIP. Moreover, we show that if $(K,v)$ is a henselian valued field of residue characteristic…

Let K be a valued field of characteristic p>0 with non-p-divisible value group. We show that every finite embedding problem for K whose kernel is a p-group is properly solvable.

Let $(K, v)$ be a Henselian discrete valued field with residue field $\widehat K$ of characteristic $p$, and Brd$_{p}(K)$ be the Brauer $p$-dimension of $K$. This paper shows that Brd$_{p}(K) \ge n$, if $[\widehat K\colon \widehat K ^{p}] =…

We give some sufficient conditions under which any valued field that admits quantifier elimination in the Macintyre language is henselian. Then, without extra assumptions, we prove that if a valued field of characteristic $(0,0)$ has a…

We study the question which henselian fields admit definable henselian valuations (with or without parameters). We show that every field which admits a henselian valuation with non-divisible value group admits a parameter-definable…

Let $K$ be an NIP field and let $v$ be a henselian valuation on $K$. We ask whether $(K,v)$ is NIP as a valued field. By a result of Shelah, we know that if $v$ is externally definable, then $(K,v)$ is NIP. Using the definability of the…

Let $p$ be a prime. For $p=2$, the fields of values of the complex irreducible characters of finite groups whose degrees are not divisible by $p$ have been classified; for odd primes $p$, a conjectural classification has been proposed. In…

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…

Let $(K, v)$ be a Henselian discrete valued field with residue field $\widehat K$ of characteristic $q \ge 0$, and Brd$_{p}(K)$ be the Brauer $p$-dimension of $K$, for each prime $p$. The present paper shows that if $p = q$, then…

In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…

Let $p$ be a prime number and $(K, v)$ a Henselian valued field with a residue field $\widehat K$. This paper determines the Brauer $p$-dimension of $K$, in case $p \neq {\rm char}(\widehat K)$ and $\widehat K$ is a $p$-quasilocal field…

Let (K, v) be a henselian valued field of arbitrary rank. In this paper, we give an irreducibility criterion for multivariate polynomials over K using valuation theory.

Let $K$ be a complete local field of characteristic $p$ with perfect residue field. Let $L/K$ be a finite, fully ramified, Galois $p$-extension. If $\pi_L\in L$ is a prime element, and $p'(x)$ is the derivative of $\pi_L$'s minimal…

In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…

We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…

Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…

Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already…

We use a known example of an algebraically maximal discretely valued field of positive characteristic $p$ which admits purely inseparable extensions of degree $p^2$ with defect $p$ to construct algebraically maximal valued fields of…