Related papers: Dp-minimal valued fields
We study definably compact definably connected groups definable in a sufficiently saturated real closed field $R$. We introduce the notion of group-generic point for $\bigvee$-definable groups and show the existence of group-generic points…
We present a diagram surveying equivalence or strict implication for properties of different nature (algebraic, model theoretic, topological, etc.) about groups definable in o-minimal structures. All results are well-known and an extensive…
The aim of this paper is to develop the theory of groups definable in the $p$-adic field ${\mathbb Q}_p$, with ``definable $f$-generics" in the sense of an ambient saturated elementary extension of ${\mathbb Q}_p$. We call such groups…
We give a complete topological classification of minimal surfaces in Euclidian three-space.
We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.
Let K be a field. For a given valuation on K[x], we determine the structure of its graded algebra and describe its set of key polynomials, in terms of any given key polynomial of minimal degree. We also characterize valuations not admitting…
We consider differential modules over real and p-adic differential fields such that their field of constants is real closed (respectively p-adically closed). Using Deligne's work on Tannakian categories and a result of Serre on Galois…
We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are…
Although the study of the definability of henselian valuations has a long history starting with J. Robinson, most of the results in this area were proven during the last few years. We survey these results which address the definability of…
The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…
This paper focuses on the rank varieties for modules over a group algebra $\mathbb{F}E$ where $E$ is an elementary abelian $p$-group and $p$ is the characteristic of an algebraically closed field $\mathbb{F}$. In the first part, we give a…
We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power…
Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.
We discuss definability in the language of rings without parameters of the unique canonical henselian valuation of a field. We show that in most cases where the canonical henselian valuation is definable, it is already definable by a…
Adapting a proof of Bouscaren and Delon, we show that every type-definable connected group in a given stable theory of fields embeds into an algebraic group, under a condition on the definable closure. We also present general hypotheses…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
In this note we show that any basic abelian variety with additional structures over an arbitrary algebraically closed field of characteristic $p>0$ is isogenous to another one defined over a finite field. We also show that the category of…
We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…
A field $k$ is called geometrically $C_1$ if every smooth projective separably rationally connected $k$-variety has a $k$-rational point. Given a henselian valued field of equal characteristic $0$ with divisible value group, we show that…
Definable continuous injective maps defined on definable open sets into the Euclidean spaces of the same dimension are open maps in definably complete locally o-minimal expansions of ordered groups.