Related papers: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…
Following a recent suggestion by Randall and Sundrum, we consider string compactification scenarios in which a compact slice of AdS-space arises as a subspace of the compactification manifold. A specific example is provided by the type II…
Using face algebras (i.e. algebras of L-operators of IRF models), we construct modular tensor categories with positive definite inner product, whose fusion rules and S-matrices are the same as (or slightly different from) those obtained by…
Using the Gandy -- Harrington topology and other methods of effective descriptive set theory, we prove several theorems on compact and sigma-compact pointsets. In particular we show that any $\Sigma^1_1$ set $A$ of the Baire space $N^N$…
If $\Sigma$ and $\Sigma'$ are homotopic embedded surfaces in a $4$-manifold then they may be related by a regular homotopy (at the expense of introducing double points) or by a sequence of stabilisations and destabilisations (at the expense…
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the…
Starting from infinitely many supercompact cardinals, we force a model of ZFC where $\aleph_{\omega^2+1}$ satisfies simultaneously a strong principle of reflection, called $\Delta$-reflection, and a version of the square principle, denoted…
Let k be a definable L-cardinal. Then there is a set of reals X, class-generic over L, such that L(X) and L have the same cardinals, X has size k in L(X) and some pi-1-2 formula defines X in all set-generic extensions of L(X). Two…
Topological terms in the O(3) nonlinear sigma model in (1+1) and (2+1) dimensions are re-examined based on the description of the SU(2)-valued field $g$. We first show that the topological soliton term in (1+1) dimensions arises from the…
Symmetry Theories (SymThs) provide a flexible framework for analyzing the global categorical symmetries of a $D$-dimensional QFT$_{D}$ in terms of a $(D+1)$-dimensional bulk system SymTh$_{D+1}$. In QFTs realized via local string…
Let $U^-_q = U^-_q(\mathfrak g)$ be the negative part of the quantum group associated to a finite dimensional simple Lie algebra $\mathfrak g$, and $\sigma : \mathfrak g \to \mathfrak g$ be the automorphism obtained from the diagram…
A formalism is presented to construct a non-perturbative Grand Unified Theory when gravitational Planck-scale phenomena are included. The fundamental object on the Planck scale is the three-torus T^3 from which the known properties of…
The limitations of the approach based on using fields restricted to the lightfront (Lightfront Quantization or p$\to \infty $ Frame Approach) which drive quantum fields towards canonical and ultimately free fields are well known. Here we…
We initiate the classification of unitary superconformal defects in unitary superconformal field theories (SCFT) of diverse spacetime dimensions $3\leq d \leq 6$. Our method explores general constraints from the defect superconformal…
The theory ZFC implies the scheme that for every cardinal $\delta$ we can make $\delta$ many dependent choices over any definable relation without terminal nodes. Friedman, the first author, and Kanovei constructed a model of ZFC$^-$ (ZFC…
The observed replication of fermions in three families is undoubtedly a reflection of a deeper symmetry underlying the standard model. In this paper we investigate one very elementary possibility, that physics above the grand unification…
The determinacy of lightface $\Delta^1_{2n+2}$ and boldface $\boldsymbol{\Pi}^1_{2n+1}$ sets implies the existence of an $(\omega, \omega_1)$-iterable $M_{2n+1}^{\#}$.
The classical theory for a massive free particle moving on the group manifold $AdS_3 \cong SL(2, \mathbb{R})$ is analysed in detail. In particular a symplectic structure and two different sets of canonical coordinates are explicitly found,…
In this work, we present a trinification-based grand unified theory incorporating a global $\mathrm{SU}(3)$ family symmetry that after a spontaneous breaking leads to a left-right symmetric model. Already at the classical level, this model…
The left-right models provide an explanation for the parity asymmetry in the Standard Model (SM). To further understand the origin of the left-right symmetry, we study a partial unification model based on SU(4)_W*U(1)_{B-L} which can be…
In this note we show that Voevodsky's univalence axiom holds in the model of type theory based on symmetric cubical sets. We will also discuss Swan's construction of the identity type in this variation of cubical sets. This proves that we…