Standard Type Theory, STT, tells us that $b^n(a^m)$ is well-formed iff $n=m+1$. However, Linnebo and Rayo (2012) have advocated for the use of Cumulative Type Theory, CTT, which has more relaxed type-restrictions: according to CTT, $b^β(a^α)$ is we...
We construct a quantum field theory in noncommutative spacetime by twisting the algebra of quantum operators (especially, creation and annihilation operators) of the corresponding quantum field theory in commutative spacetime. The twisted Fock spac...
There is a serious disconnect between quantum theory and gravity. It occurs at the level of the very foundations of quantum theory, and is far deeper than just the matter of trying to quantize a non-linear theory. We shall examine some of the physica...
In this work, Sadi Carnot;s fundamental work is critically examined, and contrasted with modern thermodynamics. A mathematical theory of his work is given on the basis of the observation that in caloric theory dQ is a perfect differential....
We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment. Specifically, the system is jointly controlled by $n \geq 0$ noncoope...
Chiral-scale perturbation theory $χ$PT$_σ$ has been proposed as an alternative to chiral $SU(3)_L\times SU(3)_R$ perturbation theory which explains the $ΔI = 1/2$ rule for kaon decays. It is based on a low-energy expansion about an infrared fixed...
This paper extends the creep tide theory to exoplanetary systems with significant obliquities. The extended theory allows us to obtain the stellar and planetary hydrodynamic equilibrium tides and the evolution of the rotational state of the bodies. T...
((1+1)-dimensional ${\cal N}=1$ super-symmetric field theory and (3+1)-dimensional ${\cal N}=2$ super-symmetric gauge theory are discussed in a, more or less, unified way, designed to identify the quantum BPS states in both systems. Euclidean 4-dimen...
We present a new first-principles theory of dynamic arrest in colloidal mixtures based on the multi-component self-consistent generalized Langevin equation (SCGLE) theory of colloid dynamics [Phys. Rev. E {\bf 72}, 031107 (2005); ibid {\bf 76}, 039...
We discuss the path-integral quantisation of perturbative string theory and show equivalence between the Polyakov-type, Schild-type and Nambu-Goto-type formulations of critical type II superstring theory in the Minkowski and Euclidean signatures. Rem...
Let R be a two-sided noetherian ring. Auslander and Bridger developed a theory of projective stabilization of the category of finitely generated R-modules, which is called the stable module theory. Recently, Yoshino established a stable ''complex'' t...
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence....
The spectrum of a Polchinski-Strominger type effective string theory, extended to all orders, herein called an effective string theory of the \emph{Polyakov-Liouville Type} (for obvious reasons) is investigated to all orders in the small parameter...
Artificial intelligence has impacted many aspects of human life. This paper studies the impact of artificial intelligence on economic theory. In particular we study the impact of artificial intelligence on the theory of bounded rationality, efficient...
This paper is a continuation of the program started by Ruan in 2003, of developing real operator space theory. In particular, we develop the theory of real operator algebras. We also show among other things that the injective envelope, C*-envelope an...
The theory of colorful graphs can be developed by working in Galois field modulo (p), p > 2 and a prime number. The paper proposes a program of possible conversion of graph theory into a pleasant colorful appearance. We propose to paint the usual b...
The Bible of UODFT ( Unified Oscillatory Field Theory) - earlier Research (⭐ 0)
This is a personally colored account of the history behind N=4 Yang-Mills Theory....
Classical density functional theory (DFT) is a statistical mechanical theory for calculating the density profiles of the molecules in a liquid. It is widely used, for example. to calculate the density distribution of the molecules in the vicinity of...
Modeling generics in object-oriented programming languages such as Java and C# is a challenge. Recently we proposed a new order-theoretic approach to modeling generics. Given the strong relation between order theory and category theory, in this exten...