Related papers: First-order formalism for twinlike models with sev…
We discuss the global properties of static, spherically symmetric configurations of a self-gravitating real scalar field $\phi$ in general relativity (GR), scalar-tensor theories (STT) and high-order gravity ($L=f(R)$) in various…
We discuss some applications of the effective quantum field theory to the description of the physics beyond the Standard Model. We consider two different examples. In the first one we derive, at the one-loop level, an effective lagrangian…
The superselection sectors of two classes of scalar bilocal quantum fields in D>=4 dimensions are explicitly determined by working out the constraints imposed by unitarity. The resulting classification in terms of the dual of the respective…
Nonlinear field theories can be used to study both standard physics questions, or to study questions such as the emergence of order and complexity. These theories are generally derived from the symmetries of a given problem and the…
We present distributions of countable models and correspondent structural characteristics of complete theories with continuum many types: for prime models over finite sets relative to Rudin-Keisler preorders, for limit models over types and…
A light scalar degree of freedom, as the one possibly responsible for the accelerated expansion of the Universe, could leave observable traces in the inspiral gravitational wave signal of binary systems. In order to study these effects, we…
We give a broad overview of a construction of a theory for matter on fixed causal set backgrounds. We introduce the Sorkin-Johnston formalism for a free (real) scalar field theory that is applicable to regions of continuum spacetimes as…
One hundred years ago this year attempts began to generalise general relativity with the ambition of incorporating electromagnetism alongside gravitation in a unified field theory. These developments led to gauge theories and models with…
This paper presents a library of second-order models for synchronous machines that can be utilized in power system dynamic performance analysis and control design tasks. The models have a similar structure to the classical model in that…
Let $k$ be a differential field of characteristic zero with an algebraically closed field of constants. In this article, we provide a classification of first order differential equations over $k$ and study the algebraic dependence of…
The Horndeski theory is known as the most general scalar-tensor theory with second-order field equations. In this paper, we explore the bi-scalar extension of the Horndeski theory. Following Horndeski's approach, we determine all the…
Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…
We propose a framework for model-theoretic stability and simplicity in an approximate first-order setting and generalize some classical results.
We generalize the Lagrangian-Hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a Hamiltonian formalism for…
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order…
We develop the basic formalism of complex $q$-analysis to study the solutions of second order $q$-difference equations which reduce, in the $q\rightarrow 1$ limit, to the ordinary Laplace equation in Euclidean and Minkowski space. After…
Type theory plays an important role in foundations of mathematics as a framework for formalizing mathematics and a base for proof assistants providing semi-automatic proof checking and construction. Derivation of each theorem in type theory…
The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
Recently, Batalin and Marnelius proposed a superfield algorithm for master actions in the BV-formulation for a class of first order gauge field theories. Possible theories are determined by a ghost number prescription and a simple local…
We present a combination of raising, explicit variable dependency representation, the liberalized delta-rule, and preservation of solutions for first-order deductive theorem proving. Our main motivation is to provide the foundation for our…