Related papers: First-order formalism for twinlike models with sev…
We develop an augmented characteristic, first-order formulation of the field equations in f(R) gravity governing the global evolution of a (possibly) massive scalar field phi under spherical symmetry. This formulation is designed to isolate…
Over the last century, the principle of "induction on the continuum" has been studied by different authors in different formats. All of these different readings are equivalent to one of the three versions that we isolate in this paper. We…
We develop layered monoidal theories -- a generalisation of monoidal theories combining formal descriptions of a system at different levels of abstraction. Via their representation as string diagrams, monoidal theories provide a graphical…
We investigate the presence of defects in systems described by real scalar field in (D,1) spacetime dimensions. We show that when the potential assumes specific form, there are models which support stable global defects for D arbitrary. We…
The aim of this paper is to propose an unambiguous intrinsic formalism for higher-order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, which implies the existence of…
The $\phi^4$ model has been the "workhorse" of the classical Ginzburg--Landau phenomenological theory of phase transitions and, furthermore, the foundation for a large amount of the now-classical developments in nonlinear science. However,…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
In this paper we consider perturbation theory in generic two-dimensional sigma models in the so-called first-order formalism, using the coordinate regularization approach. Our goal is to analyze the first-order formalism in application to…
In the jet bundle description of Field Theories (multisymplectic models, in particular), there are several choices for the multimomentum bundle where the covariant Hamiltonian formalism takes place. As a consequence, several proposals for…
We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…
The gauge theories underlying gauged supergravity and exceptional field theory are based on tensor hierarchies: generalizations of Yang-Mills theory utilizing algebraic structures that generalize Lie algebras and, as a consequence, require…
Linearized supergravity in arbitrary dimension is reformulated into a first order formalism which treats the graviton and its dual on the same footing at the level of the action. This generalizes previous work by other authors in two…
For a vector field F on the Euclidean plane we construct, under certain assumptions on F, an ordered model-theoretic structure associated to the flow of F. We do this in such a way that the set of all limit cycles of F is represented by a…
In this contribution we revisit regular model checking, a powerful framework that has been successfully applied for the verification of infinite-state systems, especially parameterized systems (concurrent systems with an arbitrary number of…
In this work we present a theoretical framework that allows for the existence of coherent twinlike models in the context of self-dual Maxwell-Higgs theories. We verify the consistence of this framework by using it to develop some twinlike…
We review exceptional field theories as the duality-covariant reformulation of maximal supergravity theories in ten and eleven dimensions, that make the underlying exceptional symmetries explicit. Beyond their structural role in unifying…
We consider cosmological models driven by several canonical or noncanonical scalar fields. We show how the superpotential method enables one to construct twinlike models for a particular canonical model from some noncanonical ones. We…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
Since physical theories employ mathematical models to describe and predict physical phenomena, our knowledge depends on the models available to that end. To increase their scope we present a particular type of simplified models, serial…
We prove the existence of a strong coupling expansion for a classical $\lambda\phi^4$ field theory in agreement with the duality principle in perturbation theory put forward in [M.Frasca, Phys. Rev. A 58, 3439 (1998)]. The leading order…