Related papers: Standard and Hyperfinite Unifications for All Phys…
Recent work on the use of dimensional reduction for the regularisation of non--supersymmetric theories is reviewed. It is then shown that there exists a class of theories for which a universal form of the soft supersymmetry breaking terms…
In this paper, general logic-systems and a necessary and sufficient algorithm are used to substantiate significant consequence operator properties. It is shown, among other results, that, in certain cases, (1) if the number of steps in a…
A thought experiment is formulated to unify quantum mechanics and general relativity in a topological manner. An analysis of the interactions in Nature is then presented. The universal ground state of the constructed theory derives from the…
It has been shown that there is a sequential embedding structure in a $w_N$\ string theory based on a linearized $W_N$\ algebra. The $w_N$\ string theory is obtained as a special realization of the $w_{N+1}$\ string. The $w_{\infty}$\…
Let $\mathcal{H}$ be a linear space equipped with an indefinite inner product $[\cdot, \cdot]$. Denote by $\mathcal{F}_{++}=\{f\in\mathcal{H} \ : \ [f,f]>0\}$ the nonlinear set of positive vectors in $\mathcal{H}$. We demonstrate that the…
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…
A tentative proposal is demonstrated that there is a natural strategy to get rid of unphysical (UV) infinities in QFTs if one adopts the modern standard point of view that a fundamental theory that is complete and well-defined in all…
In continuous first-order logic, the union of definable sets is definable but generally the intersection is not. This means that in any continuous theory, the collection of $\varnothing$-definable sets in one variable forms a…
We demonstrate when and how an entire left-infinite orbit of an underlying dynamical system or observations from such left-infinite orbits can be uniquely represented by a pair of elements in a different space, a phenomenon which we call…
Gauge theories describe the interactions of the fundamental building blocks of nature with great success. The Standard Model achieves a partial unification of the electromagnetic and weak interactions, and it also acomodates the strong…
The unification type of an equational theory is defined using a preorder on substitutions, called the instantiation preorder, whose scope is either restricted to the variables occurring in the unification problem, or unrestricted such that…
A linear operator $U$ acting boundedly on an infinite-dimensional separable complex Hilbert space $H$ is universal if every linear bounded operator acting on $H$ is similar to a scalar multiple of a restriction of $U$ to one of its…
A rigorous microscopic theory for the description of quantum-transport phenomena in systems with open boundaries is proposed. We shall show that the application of the conventional Wigner-function formalism to this problem leads to…
The main theorem of this article is that every countable model of set theory M, including every well-founded model, is isomorphic to a submodel of its own constructible universe. In other words, there is an embedding $j:M\to L^M$ that is…
Active inference is a leading theory of perception, learning and decision making, which can be applied to neuroscience, robotics, psychology, and machine learning. Active inference is based on the expected free energy, which is mostly…
The category of models of any theory $T$ in any first-order language $L$ has the surprising property that any small category that is elementarily equivalent with it, already embeds in it. The proof uses an abstract argument via ultrapowers,…
The spontaneous magnetization of a two-dimensional lattice model can be expressed in terms of the partition function $W$ of a system with fixed boundary spins and an extra weight dependent on the value of a particular central spin. For the…
A perturbative description of Large Scale Structure is a cornerstone of our understanding of the observed distribution of matter in the universe. Renormalization is an essential and defining step to make this description physical and…
Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set…
Hypersubstitutions are mappings which map operation symbols to terms. Terms can be visualized by trees. Hypersubstitutions can be extended to mappings defined on sets of trees. The nodes of the trees, describing terms, are labelled by…