Related papers: Eliminating Field Quantifiers in Strongly Dependen…
We prove distality of quantifier-free relations on valued fields with finite residue field. By a result of Chernikov-Galvin-Starchenko, this yields Szemer\'edi-Trotter-like incidence bounds for function fields over finite fields. We deduce…
We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear case. In particular, after proving a quantifier elimination result, we show that for an NIP field K, the theory of infinite dimensional non-degenerate…
The paper concerns uniform Yomdin-Gromov parametrizations together with an estimate of their number, which generalizes a theorem by Cluckers-Forey-Loeser to arbitrary equicharacteristic zero valued fields with analytic structure. To this…
We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier…
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…
We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…
We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…
We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets…
Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…
We generalize a result of Kostant and Wallach concerning the algebraic integrability of the Gelfand-Zeitlin vector fields to the full set of strongly regular elements in $gl(n,\mathbb{C})$. We use decomposition classes to stratify the…
In this paper, we construct a quantization functor, associating a complex vector space H(V) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil…
While perturbative techniques work extremely well for weakly interacting field theories (e.g. QED), they are not useful when studying strongly interacting field theories (e.g. QCD at low energies). In this paper we review Heisenberg's idea…
Scanlon [5] proves Ax-Kochen-Ershov type results for differential-henselian monotone valued differential fields with many constants. We show how to get rid of the condition "with many constants".
We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…
We investigate what henselian valuations on ordered fields are definable in the language of ordered rings. This leads towards a systematic study of the class of ordered fields which are dense in their real closure. Some results have…
Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed…
We give an elementary proof of the result by Leichtnam, Tang, and Weinstein that there exists a deformation quantization with separation of variables on a complex manifold endowed with a Kaehler-Poisson structure vanishing on a Levi…
We show that the class of Krasner hyperfields is not elementary. To show this, we determine the rational rank of quotients of multiplicative groups in field extensions. Our argument uses Chebotarev's density theorem. We also discuss some…
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…
Let k be an algebraically closed field of odd characteristic. We describe derivations of a large class of quantizations of affine normal Poisson varieties over k.