Related papers: Quantifier elimination for quasi-real closed field…
Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…
We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be…
A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some…
In this article we propose a `second quantization' scheme especially suitable to deal with non-trivial, highly symmetric phase spaces, implemented within a more general Group Approach to Quantization, which recovers the standard Quantum…
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
There is a large class of classical null-fronted metrics in which a free scalar field has an infinite number of conservation laws. In particular, if the scalar field is quantized, the number of particles is conserved. However, with more…
These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in…
Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove…
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…
This note is an introduction to methods of construction for Hilbert space realizations of relativistic quantum physics. The realizations satisfy a revision to Wightman's functional analytic axioms and exhibit interaction in physical…
We have constructed a quantum field theory in a finite box, with periodic boundary conditions, using the hypothesis that particles living in a finite box are created and/or annihilated by the creation and/or annihilation operators,…
The only C*-algebras that admit elimination of quantifiers in continuous logic are $\mathbb{C}, \mathbb{C}^2$, $C($Cantor space$)$ and $M_2(\mathbb{C})$. We also prove that the theory of C*-algebras does not have model companion and show…
A random field that is empirically equivalent to the quantized electromagnetic field is constructed. A mapping between the creation and annihilation operator algebras of a random field and of the quantized electromagnetic field provides a…
We study effective models describing systems of quantum particles interacting with quantized (electromagnetic) fields in the quasi-classical regime, i.e., when the field's state shows a large average number of excitations. Once the field's…
We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics,…
Algebraic quantum field theory is an approach to relativistic quantum physics, notably the theory of elementary particles, which complements other modern developments in this field. It is particularly powerful for structural analysis but…
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…
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced…
Application of the so-called refined algebraic quantization scheme for constrained systems to the relativistic particle provides an inner product that defines a unique Fock representation for a scalar field in curved space-time. The…
Quantum field theory can be physically regularized by modularizing it on several levels of aggregation. Since computation is already thoroughly modularized, physical experiments are treated here as quantum relativistic cellular computations…