Related papers: First-order formalism for twinlike models with sev…
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…
We discuss the possible applications supersymmetric theories might find in the field of elementary particle physics. The supersymmetric generalization of the $SU(3)\times SU(2)\times U(1)$ standard model is discussed in detail. Special…
In the present paper the Yang-Mills theory in the first order formalism is studied. On classical level the first order formulation is equivalent to the standard second order description of the Yang-Mills theory. It is proven that both…
The formalism of quantum mechanics is presented in a way that its interpretation as a classical field theory is emphasized. Two coupled real fields are defined with given equations of motion. Densities and currents associated to the fields…
Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary…
A modeling formalism is proposed for the description and study of living and life-like systems. It provides an abstract conceptual model framework for real life and evolution of biological organisms. It is proposed, that this model…
We investigate high and low energy implications of a gauge dual description of the Standard Model. The high energy electric theory features gauge dynamics involving only fermionic matter fields, while the low energy magnetic description…
We reconsider the naturalness from the viewpoint of effective field theories, motivated by the alternative scenario that the standard model holds until a high-energy scale such as the Planck scale. We propose a calculation scheme of…
Recently, the possibility of so-called twinlike field theories has been demonstrated, that is, of different field theories which share the same topological defect solution with the same energy density. Further, purely algebraic conditions…
This work deals with the presence of localized static structures in the real line, described by relativistic real scalar fields in two spacetime dimensions. We consider models featuring both standard and modified kinematics, where we employ…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
According to Two-Time Physics, there is more to space-time than can be garnered with the ordinary formulation of physics. Two-Time Physics has shown that the Standard Model of Particles and Forces is successfully reproduced by a two-time…
We investigate the presence of static solutions in models described by real scalar field in two-dimensional spacetime. After taking advantage of a procedure introduced sometime ago, we solve intricate nonlinear ordinary differential…
We discuss and provide nontrivial evidence for a large class of dualities in three-dimensional field theories with different gauge groups. We match the full partition functions of the dual phases for any value of the couplings to underpin…
It has been common wisdom among mathematicians that Extended Topological Field Theory in dimensions higher than two is naturally formulated in terms of n-categories with n> 1. Recently the physical meaning of these higher categorical…
In this paper we introduce a unified approach to Toda field theories which allows us to formulate the classes of $A_n$, $B_n$ and $C_n$ models as unique models involving an arbitrary continuous parameter $\nu$. For certain values of $\nu $,…
We introduce a class of singular partial differential equations, the second-order hyperbolic Fuchsian systems, and we investigate the associated initial value problem when data are imposed on the singularity. First of all, we analyze a…
The notion of bounded expansion captures uniform sparsity of graph classes and renders various algorithmic problems that are hard in general tractable. In particular, the model-checking problem for first-order logic is fixed-parameter…
Exact cosmological models for a scalar field in Lyra geometry are studied in the presence of a time-varying effective cosmological term originated from the specific interaction of an auxiliary $\Lambda$ - term with the displacement vector.…
We present a framework for constructing a first-order hyperbolic system whose solution approximates that of a desired higher-order evolution equation. Constructions of this kind have received increasing interest in recent years, and are…