Related papers: Multiplicative Valued Difference Fields
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…
We give a short argument why the tensor product valuation on $K \otimes_k L$ is multiplicative when $k$ is an algebraically closed valued field and $K$ and $L$ are valued extensions (all valuations being in $\bR$). When the valuation on $k$…
We study valued fields equipped with an automorphism $\sigma$ which is locally infinitely contracting in the sense that $\alpha\ll\sigma\alpha$ for all $0<\alpha\in\Gamma$. We show that various notions of valuation theory, such as Henselian…
We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…
We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of…
Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…
We study valued fields equipped with an automorphism. We prove that all of them have an extension admitting an equivariant cross-section of the valuation. In residual characteristic zero, and in the presence of such a cross-section, we show…
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…
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…
We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.
In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…
We study the differential Galois theory of difference equations under weaker hypothesis on the field of constants of the automorphism. This framework yields a new approach to results by C.Hardouin and M.Singer, which answers possitively a…
Given a valued field $(K,v)$ and its completion $(\widehat{K},v)$, we study the set of all possible extensions of $v$ to $\widehat{K}(X)$. We show that any such extension is closely connected with the underlying subextension $(K(X)|K,v)$.…
Following our first article, we continue to investigate ultrametic modules over a ring of twisted polynomials of the form $[K;\vfi]$, where $\vfi$ is a ring endomorphism of $K$. The main motivation comes from the the theory of valued…
Let V be a total valuation ring of a division ring K, Q be the additive group of the rational numbers, Aut(K) be the group of automorphisms of K. Let sigma be a group homomorphism from Q to Aut(K). Let K[Q, sigma ] be the skew group ring of…
In this work, we investigate the properties of string effective theories with scalar field(s) and a scalar potential. We first claim that in most examples known, such theories are multifield, with at least 2 non-compact field directions;…
For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrow\Lambda$ of ordered groups, we analyze the structure of the tree formed by all $\Lambda$-valued extensions of $v$ to the polynomial ring $K[x]$. As an…
In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…