Related papers: Strongly NIP almost real closed fields

NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a…

We investigate $IPA$ - real closed fields, that is, real closed fields which admit an integer part whose non-negative cone is a model of Peano Arithmetic. We show that the value group of an $IPA$ - real closed field is an exponential group…

We show that $\omega$-categorical rings with NIP are nilpotent-by-finite. We prove that an $\omega$-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an $\omega$-categorical group with at least one strongly…

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

We continue the study of $n$-dependent groups, fields and related structures, largely motivated by the conjecture that every $n$-dependent field is dependent. We provide evidence towards this conjecture by showing that every infinite…

This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author.…

We describe one.

In this note we investigate the question whether a henselian valued field carries a non-trivial 0-definable henselian valuation (in the language of rings). It follows from the work of Prestel and Ziegler that there are henselian valued…

We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…

Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…

We continue our earlier investigation of dp-finite fields. We show that the "heavy sets" of [6] are exactly the sets of full dp-rank. As a consequence, full dp-rank is a definable property in definable families of sets. If $I$ is the group…

First, an example of a 2-dependent group without a minimal subgroup of bounded index is given. Second, all infinite n-dependent fields are shown to be Artin-Schreier closed. Furthermore, the theory of any non separably closed PAC field has…

In this work we study the classes of epsilon and nearly epsilon-strongly graded rings by a group $G$. In particular, we extend Dade's theorem to the realm of nearly epsilon-strongly graded rings. Moreover, we introduce the category…

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

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…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, the language of rings expanded by n-th power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian…

We study strong approximation for some algebraic varieties over which are defined using norm forms over the rationals. This allows us to confirm a special case of a conjecture due to Harpaz and Wittenberg.

Let $K$ be a type-definable infinite field in an NIP theory. If $K$ has characteristic $p > 0$, then $K$ is Artin-Schreier closed (it has no Artin-Schreier extensions). As a consequence, $p$ does not divide the degree of any finite…