Related papers: Universal-existential theories of fields
An integral quadratic lattice is called indefinite $k$-universal if it represents all integral quadratic lattices of rank $k$ for a given positive integer $k$. For $k\geq 3$, we prove that the indefinite $k$-universal property satisfies the…
Let $k$ be a finite field, a $p$-adic field or a number field. Let $K$ be a finite extension of the Laurent series field in $m$ variables $k((x_1,...,x_m))$ or, more generally, a finite extension of the field of rational functions…
We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential…
The invariance of physical observables under redefinitions of the quantum fields is a well-known and important property of quantum field theory. We study perturbative field redefinitions in effective theories, paying special attention to…
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
A consistent, local coordinate formulation of covariant Hamiltonian field theory is presented. Whereas the covariant canonical field equations are equivalent to the Euler-Lagrange field equations, the covariant canonical transformation…
We investigate finite sets of rational functions $\{ f_{1},f_{2}, \dots, f_{r} \}$ defined over some number field $K$ satisfying that any $t_{0} \in K$ is a $K_{p}$-value of one of the functions $f_{i}$ for almost all primes $p$ of $K$. We…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
For all positive integers $k$ and $N$ we prove that there are infinitely many totally real multiquadratic fields $K$ of degree $2^k$ over $\mathbb Q$ such that each universal quadratic form over $K$ has at least $N$ variables.
In this paper, we introduce the notion of unit reducibility for number fields, that is, number fields in which all positive unary forms attain their nonzero minimum at a unit. Furthermore, we investigate the link between unit reducibility…
A unified field theory in ten dimensions, of all interactions, can describe high energy processes occuring in the early universe. In such a theory transitions that give properties of the universe can occur due to the presence of algebraic…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
This is a brief summary of our studies of quantum field theories in a special limit in which the instantons are present, the anti-instantons are absent, and the perturbative corrections are reduced to one-loop. We analyze the corresponding…
This paper provides, over Henselian valued fields, some theorems on implicit function and of Artin--Mazur on algebraic power series. Also discussed are certain versions of the theorems of Abhyankar--Jung and Newton--Puiseux. The latter is…
New quantum modes of the free scalar field are derived in a special time-evolution picture that may be introduced in moving charts of de Sitter backgrounds. The wave functions of these new modes are solutions of the Klein-Gordon equation…
Recent work on Euler hierarchies of field theory Lagrangians iteratively constructed {}from their successive equations of motion is briefly reviewed. On the one hand, a certain triality structure is described, relating arbitrary field…
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…
These lecture notes survey the emerging area of Universal Proof Theory, which investigates general questions about the existence, equivalence, and characterization of good proof systems for broad classes of logics. In particular, the notes…
We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…
Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish…