Related papers: Quantifier Elimination For Tame Fields
We propose a reformulation of quantum field theory (QFT) as a relativistic statistical field theory. This rewriting embeds a collapse model within an interacting QFT and thus provides a possible solution to the measurement problem.…
Human languages employ constructions that tacitly assume specific properties of the limited range of phenomena they evolved to describe. These assumed properties are true features of that limited context, but may not be general or precise…
We derive dissipative effective Hamiltonian for the unstable Lee model without any ad hoc coarse graining procedure. Generalized radiative corrections, utilizing the in-in formalism of quantum field theory, automatically yield…
This note aims to subsume several apparently unrelated models under a common framework. Several examples of well-known quantum field theories are listed which are connected via stochastic quantization. We highlight the fact that the…
We consider the Quantifier Elimination (QE) problem for propositional CNF formulas with existential quantifiers. QE plays a key role in formal verification. Earlier, we presented an approach based on the following observation. To perform…
Present day quantum field theory (QFT) is founded on canonical quantization, which has served quite well, but also has led to several issues. The free field describing a free particle (with no interaction term) can suddenly become…
To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free…
We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent.
We prove in this paper that the types of system F inhabited uniquely by ?I-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
I use an instrumental approach to investigate some commonly made claims about interpretations of quantum mechanics, especially those that pertain questions of locality. The here presented investigation builds on a recently proposed taxonomy…
We attempt to review all trustworthy and well-controlled de Sitter compactifications of string theory.
We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite…
In a recent article, Dieks has proposed a way to implement the modal interpretation of (nonrelativistic) quantum theory in relativistic quantum field theory. We show that his proposal fails to yield a well-defined prescription for which…
We intend to investigate the metalogical property of 'omitting types' for a wide variety of quantifier logics (that can also be seen as multimodal logics upon identifying existential quantifiers with modalities syntactically and…
We study representation finite $K$-rational quivers over fields of characteristic $0$ and their indecomposable representations, exploiting that all Brauer obstructions for descent of representations are trivial in this case. Contrasting the…
Symmetries are playing a very prominent role in natural sciences. In mathematics as the language of physics, symmetries are treated within the framework of group theory, which provides the tools to classify natural laws and physical objects…
The theory of total positivity for reductive groups is here extended to the case of symmetric spaces.
In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing…
I shall discuss some "conditions of possibility" of a quantum theory of gravity, stressing the need for solutions to some of fundamental problems confronting any attempt to apply some method of quantization to the field equations of general…
We investigate generalized quadratic forms with values in the set of rational integers over quadratic fields. We characterize the real quadratic fields which admit a positive definite binary generalized form of this type representing every…