Related papers: Quantifier Elimination For Tame Fields
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski…
We apply the theory of localization for tame and wild coalgebras in order to prove the following theorem: "Let Q be an acyclic quiver. Then any tame admissible subcoalgebra of KQ is the path coalgebra of a quiver with relations".
We show that the theories of some (ordered) central simple algebras with involution over real closed fields are model-complete or admit quantifier elimination, and characterize positive cones in terms of morphisms into models of some of…
This is a further explanation of a new and simple renormalization approach recently proposed by the author (hep-th/9708104, Ref. [1], that is somewhat sketchy) for any ordinary QFT (whether renormalizable or not) in any spacetime dimension.…
Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…
A new approach is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the nowaday's standard…
Quantifier elimination (QE) is an important problem that has numerous applications. Unfortunately, QE is computationally very hard. Earlier we introduced a generalization of QE called $\mathit{partial}$ QE (or PQE for short). PQE allows to…
Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…
We extend the unramified class field theory for arithmetic schemes of K. Kato and S. Saito to the tame case. Let $X$ be a regular proper arithmetic scheme and let $D$ be a divisor on $X$ whose vertical irreducible components are normal…
We prove that under suitable graded and local hypothesis, a formally unramified algebra over a field must be reduced. We detail examples, including one due to Gabber, to show that it is not possible to generalize these results further.
A notion of generalized quantifier in computational complexity theory is explored and used to give a unified treatment of leaf language definability, oracle separations, type 2 operators, and circuits with monoidal gates. Relations to…
After sketching recent advances and subtleties in classical relativistically covariant field theories, we give in this short Note some indications as to how the deformation quantization approach can be used to solve or at least give a…
The usual full- and half-harmonic oscillators are turned into field theories, and that behavior is examined using canonical and affine quantization. The result leads to a valid affine quantization of the half harmonic oscillator field…
We present the proof of the equivalence theorem in quantum field theory which is based on a formulation of this problem in the field-antifield formalism. As an example, we consider a model in which a different choices of natural finite…
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…
Quantum field theory unifies concepts from quantum theory and from special relativity. Its mathematically rigorous description is quite intricate and is only partially understood; this is particularly true for the construction of operators…
We comment on the present status, the concepts and their limitations, and the successes and open problems of the various approaches to a relativistic quantum theory of elementary particles, with a hindsight to questions concerning quantum…
Assume that $\Phi:\mathbb{M}_{n}(\mathbb{C})\rightarrow\mathbb{M}_{n}(\mathbb{C})$ is a superoperator which preserves hermiticity. We give an algorithm determining whether $\Phi$ preserves semipositivity (we call $\Phi$ positive in this…