Let T be a theory. If T eliminates \, it need not follow that \ eliminates \, as shown by the example of the p-adics. We give a criterion to determine whether \ eliminates \. Specifically, we show that \ eliminates \ if and only if \ is eliminated on all interpretable sets of “unary imaginaries.” This criterion can be applied in cases where a full description of \ is unknown. As an application, we show that \ eliminates \ when (...) T is a C-minimal expansion of ACVF. (shrink)

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname {\mathrm {bdn}}(\text (...) {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.

The main result of this paper is a transfer theorem which describes the relationship between constructive validity and classical validity for a class of first-order sentences over the p-adics. The proof of one direction of the theorem uses a principle of intuitionism; the proof of the other direction is classically valid. Constructive verifications of known properties of the p-adics are indicated. In particular, the existence of cylindric algebraic decompositions for the p-adics is used.

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and p-adically closed valued fields. We give an effectiveness condition, related to Hensel’s lemma, on a valued field which is necessary and sufficient to extend the valuation to any algebraic extension. We show that there is a computable formally p-adic field which does not embed into any computable p-adic closure, but we give an effectiveness condition on the divisibility relation in the value group which is (...) sufficient to find such an embedding. By checking that algebraically closed valued fields and p-adically closed valued fields of infinite transcendence degree have the Mal’cev property, we show that they have computable dimension \. (shrink)

Let (K, v) 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. The main step in obtaining this partition is an answer to the question, given a polynomial f(x) ∈ K[x], what is v(f(x))? Two applications are given: first, a constructive quantifier elimination relative to the leading (...) terms, suggesting a relative decision procedure; second, a presentation of every definable subset of K as the pullback of a definable set in the leading terms subjected to a linear translation. (shrink)

We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition (...) by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Zp inside Qp uniformly for all p. For any fixed finite extension of Qp, we give an existential formula and a universal formula in the ring language which define the valuation ring. (shrink)

We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of Qp (‘infinite p-adic fields’) using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic extensions (so-called tame fields). In the case of tame fields whose residue fields satisfy Kaplansky’s condition of having no extension of p-divisible degree quantifier elimination is possible when the language of valued fields is extended by the (...) power predicates Pn introduced by Macintyre and, for the residue field, further predicates and constants. For tame infinite p-adic fields with algebraically closed residue fields an extension by Pn predicates is sufficient. (shrink)

A nontrivial ring with unit eliminates imaginaries just in case its complete theory has the following property: every definable m-ary equivalence relation E may be defined by a formula f = f, where f is an m-ary definable function. We show that for certain natural expansions of the field of p-adic numbers, elimination of imaginaries fails or is independent of ZPC. Similar results hold for certain fields of formal power series.

In this paper, we prove a definable version of Kirszbraun's theorem in a non‐Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function, where and, that is λ‐Lipschitz in the first variable, extends to a definable function that is λ‐Lipschitz in the first variable.

In this paper, we consider reducts of p-adically closed fields. We introduce a notion of shadows: sets Mf={∈K2∣|y|=|f|}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_f = \{ \in K^2 \mid |y| = |f|\}}$$\end{document}, where f is a semi-algebraic function. Adding symbols for such sets to a reduct of the ring language, we obtain expansions of the semi-affine language where multiplication is nowhere definable, thus giving a negative answer to a question posed by Marker, Peterzil and Pillay. The second (...) main result of this paper is the fact that in p-adic fields, full multiplication becomes definable if we add a rational function to the semi-affine language. (shrink)

We study a reduct ${\mathcal{L}_*}$ of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the ${\mathcal{L}_*}$ -definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K, ${\mathcal{L}_*}$ ) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-adically closed fields admit cell decomposition, using cells similar to p-adic semi-algebraic cells. From (...) this we can derive quantifier-elimination, and give a characterization of definable functions. In particular, we conclude that multiplication can only be defined on bounded sets, and we consider the existence of definable Skolem functions. (shrink)

We develop a notion of cell decomposition suitable for studying weak p-adic structures definable). As an example, we consider a structure with restricted addition.

We study the flow of trigonalizable algebraic group acting on its type space, focusing on the problem raised in [17] of whether weakly generic types coincide with almost periodic types if the group has global definable f‐generic types, equivalently whether the union of minimal subflows of a suitable type space is closed. We shall give a description of f‐generic types of trigonalizable algebraic groups, and prove that every f‐generic type is almost periodic.

We develop a dimension theory for D-semianalytic sets over an arbitrary non-Archimedean complete field. Our main results are the equivalence of several notions of dimension and a theorem on additivity of dimensions of projections and fibers in characteristic 0. We also prove a parameterized version of normalization for D-semianalytic sets.

In [12], P. Scowcroft and L. van den Dries proved a cell decomposition theorem for p-adically closed fields. We work here with the notion of P-minimal fields defined by D. Haskell and D. Macpherson in [6]. We prove that a P-minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [8].