We present two of the three major steps in the construction of motivic integration, that is, a homomorphism between Grothendieck semigroups that are associated with a first-order theory of algebraically closed valued fields, in the fundamental work of Hrushovski and Kazhdan [8]. We limit our attention to a simple major subclass of V-minimal theories of the form ACV FS, that is, the theory of algebraically closed valued fields of pure characteristic 0 expanded by a -generated substructure S in the language (...) . The main advantage of this subclass is the presence of syntax. It enables us to simplify the arguments with many different technical details while following the major steps of the Hrushovski–Kazhdan theory. (shrink)

We prove quantifier elimination for the field ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ (the completion of the field of Puiseux series over ${\Bbb Q}_{p}$ ) in Macintyre's language together with symbols for functions in a class containing both t-adically and p-adically overconvergent functions. We also show that the theory of ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ is b-minimal in this language.

Recently, Cluckers et al. developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to mimic o-minimality in both strong consequences and wide applicability. In this paper, we continue the study of Hensel minimality, in particular focusing on [Formula: see text]-h-minimality and [Formula: see text]-h-minimality, for [Formula: see text] a positive integer. Our main results include an analytic criterion for [Formula: see text]-h-minimality, preservation of [Formula: (...) see text]-h-minimality under coarsening of the valuation and [Formula: see text]-dimensional geometry. (shrink)

We study properties of definable sets and functions in power-bounded T -convex fields, proving that the latter have the multidimensional Jacobian property and that the theory of T -convex fields is b -minimal with centers. Through these results and work of I. Halupczok we ensure that a certain kind of geometrical stratifications exist for definable objects in said fields. We then discuss a number of applications of those stratifications, including applications to Archimedean o-minimal geometry.

We introduce a very weak language L M on p-adic fields K, which is just rich enough to have exactly the same definable subsets of the line K that one has using the ring language. (In our context, definable always means definable with parameters.) We prove that the only definable functions in the language L M are trivial functions. We also give a definitional expansion $L\begin{array}{*{20}{c}} ' \\ M \\ \end{array} $ of L M in which K has quantifier elimination, (...) and we obtain a cell decomposition result for L M -definable sets. Our language L M can serve as a p-adic analogue of the very weak language (<) on the real numbers, to define a notion of minimality on the field of p-adic numbers and on related valued fields. These fields are not necessarily Henselian and may have positive characteristic. (shrink)

We study the impact of a kind of non‐archimedean stratifications (t‐stratifications) on tangent cones of definable sets in real closed fields. We prove that such stratifications induce stratifications of the same nature on the tangent cone of a definable set at a fixed point. As a consequence, the archimedean counterpart of a t‐stratification is shown to induce Whitney stratifications on the tangent cones of a semi‐algebraic set. Extensions of these results are proposed for real closed fields with further structure.