Related papers: Quantifier Elimination For Tame Fields
In order to address the measurement problem of quantum theory we make the assumption that quantum state reduction should be regarded as a genuine physical process deserving of a dynamical description. Generalizing the nonrelativistic…
We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.
The possibility to have a deviation from relativistic quantum field theory requiring to go beyond effective field theories is discussed. A few recent attempts to go in this direction both at the theoretical and phenomenological levels are…
We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its…
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…
In one of our previous articles, we outlined the formulation of a version of the categorical arithmetic local Langlands conjecture. The aims of this article are threefold. First, we provide a detailed account of one component of this…
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…
Recently \cite{Horowitz:2022rpp,Horowitz:2022uak}, denominator regularisation (Den. Reg.) scheme has been proposed to handle divergences in quantum field theory. It is shown to yield results as simple as in dimensional regularisation scheme…
In this paper, we study the question of quantization of quantum field theories in a general light-front frame. We quantize scalar, fermion as well as gauge field theories in a systematic manner carrying out the Hamiltonian analysis…
A fundamental length is introduced into physics in a way which respects the principles of relativity and quantum field theory. This improves the properties of quantum field theory: divergences are removed. How to quantize gravity is also…
We construct two pseudofinite theories which are tame from a neostability perspective, yet have pathological fine pseudofinite dimension in all models. These theories serve as counterexamples to potential converses of results by Garcia,…
This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…
The relational version of the modal interpretation offers both a consistent quantum ontology and solution for quantum paradoxes within the framework of nonrelativistic quantum mechanics. In the present paper this approach is generalized for…
We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…
In these lectures we present a few topics in Quantum Field Theory in detail. Some of them are conceptual and some more practical. They have been selected because they appear frequently in current applications to Particle Physics and String…
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…
Quantifier elimination theorems show that each formula in a certain theory is equivalent to a formula of a specific form -- usually a quantifier-free one, sometimes in an extended language. Model theoretic embedding tests are a frequently…
We present a general simplification of quantified SMT formulas using variable elimination. The simplification is based on an analysis of the ground terms occurring as arguments in function applications. We use this information to generate a…
In this note, we give a characterization of all projectable and divisible-projectable reduced $f$-rings satisfying the first convexity property and admitting elimination of quantifiers, in the language of lattice-ordered rings with the…
We use a theorem of Auslander and Kostant on the representation theory of solvable Lie-groups for the study of some groups necessary for the description of certain quasi-periodic systems of solid-state physics. We show that the magnetic…