Related papers: Eliminating Field Quantifiers in Strongly Dependen…

A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using…

Covariant quantization of rank-2 antisymmetric fields is non-trivial due to additional symmetries of the gauge parameters. We present an intuitive way to deal with this additional symmetry of gauge parameters in terms of geometrical…

It was shown in Part I that there exist strongly dense free subgroups in any semisimple algebraic group over a large enough field. These are nonabelian free subgroups all of whose subgroups are either cyclic or Zariski-dense. Here we show…

The issue of the existence and possible triviality of the Euclidean quantum scalar field in dimension 4 is investigated by using some large deviations techniques. As usual, the field $\varphi_{d}^{4}$ is obtained as a limit of regularized…

We initiate the study of definable V-topolgies and show that there is at most one such V-topology on a t-henselian NIP field. Equivalently, we show that if $(K,v_1,v_2)$ is a bi-valued NIP field with $v_1$ henselian (resp. t-henselian) then…

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…

We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility…

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…

We study the model theory of deeply ramified fields of positive characteristic. Generalizing the perfect case treated in work by Jahnke and Kartas on the model theory of perfectoid fields, we obtain Ax-Kochen/Ershov principles for certain…

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.

We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…

In this paper we suggest new effective criteria for the density property. This enables us to give a trivial proof of the original Anders\'en-Lempert result and to establish (almost free of charge) the algebraic density property for all…

Let $K$ be a field of characteristic $p>0$ and let $f(t_1,...,t_d)$ be a power series in $d$ variables with coefficients in $K$ that is algebraic over the field of multivariate rational functions $K(t_1,...,t_d)$. We prove a generalization…

The problem of accounting for the quantum degrees of freedom in passing from massive higher-spin potentials to massless ones and its inverse, the "fattening" of massless tensor potentials of helicity $\pm h$ to their massive $s = |h|$…

Massive Klein-Gordon theory is quantized on a timelike hyperplane in Minkowski space using the framework of general boundary quantum field theory. In contrast to previous work, not only the propagating sector of the phase space is…

We prove relative quantifier elimination for Pal's multiplicative valued difference fields with an added lifting map of the residue field. Furthermore, we generalize a $\mathrm{NIP}$ transfer result for valued fields by Jahnke and Simon to…

We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…

A suitable deformation of the Hopf algebra of the creation and annihilation operators for a complex scalar field, initially quantized in Minkowski space--time, induces the canonical quantization of the same field in a generic gravitational…

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…

Assuming a certain form of resolution of singularities, we prove a general existential Ax-Kochen/Ershov principle for tamely ramified fields in all characteristics. This specializes to well-known results in residue characteristic $0$ and…