Related papers: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…
In this paper, we consider certain cardinals in ZF (set theory without AC, the Axiom of Choice). In ZFC (set theory with AC), given any cardinals C and D, either C <= D or D <= C. However, in ZF this is no longer so. For a given infinite…
We analyze four-dimensional (4d) $N=1$ superconformal field theories (SCFTs) obtained as deformations of 4d $N=2$ SCFTs on S-folds by tilting 7-branes. Geometric compatibility with the structures of S-folds constrains the forms of T-branes.…
Let V be the universe of sets and V_{\alpha} the sets of rank \leq\alpha. We develop some axiom schemata for set theory based on the following three assumptions: 1. V \models ZFC 2. V is large with respect to the class of ordinals 3. V is…
As a first numerical application of the light-front coupled-cluster (LFCC) method, we consider the odd-parity massive eigenstate of $\phi_{1+1}^4$ theory. The eigenstate is built as a Fock-state expansion in light-front quantization, where…
We study topological defects arising in the Grand Unification Model $SU(6)_L\otimes SU(6)_c \otimes SU(6)_R \times Z_3$. We show that the model does not contain domain walls, while it produces massive magnetic monopoles and it may,…
In a generic Grand Unified Theory with a relatively small dispersion of the spectrum around the $Z$-boson and the unification masses, a connection is established, exact at one loop level, between $M_Z$, $G_{\rm F}$, $\alpha(M_Z)$ and the…
We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…
We investigate fragments of generic absoluteness principles known as Maximality Principles. We determine the consistency strength of $\Sigma_n$-$\mathsf{MP}(\mathbb R)$ and $\Pi_n$-$\mathsf{MP}(\mathbb R)$, the boldface Maximality Principle…
Using a modification of the invariant Jensen forcing, we define a model of ZFC, in which, for a given $n\ge3$, there exists a lightface $\varPi^1_n$ set of reals, which is a ${\mathsf E}_0$ equivalence class, hence a countable set, and…
We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (boldface Sigma^0_2 and, under suitable restrictions, Pi^0_2)…
We derive consistency relations for the late universe (CDM and \Lambda CDM): relations between an n-point function of the density contrast \delta and an (n+1)-point function in the limit in which one of the (n+1) momenta becomes much…
Error: Peer-review process exposed an error in Theorem 1 that, unfourtunately, is not repairable. Idempotent semigroups are always finite. See Green and Rees [1952], Siekmann and Szab\'o [1981] for details Anti-unification is a fundamental…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…
Gauge coupling unification misleads infrared observers if new gauge bosons do not simultaneously come into the spectrum. Though easy to engineer in gauge theory, the situation in string theory is nuanced, due to moduli dependence. We study…
We discuss spontaneous symmetry breaking of (1+1)-dimensional $\phi^4$ theory in light-front field theory using a Tamm-Dancoff truncation. We show that, even though light-front field theory has a simple vacuum state which is an eigenstate…
The global symmetry data of a $D$-dimensional absolute quantum field theory can sometimes be packaged in terms of a $(D+1)$-dimensional bulk system obtained by extending along an interval, with a relative QFT$_D$ at one end and suitable…
In this work we study particular TQFTs in three dimensions, known as Symmetry Topological Field Theories (or SymTFTs), to identify line defects of two-dimensional CFTs arising from the compactification of 6d $(2,0)$ SCFTs on 4-manifolds…
The parametrization theorem is derived in a flat nD pseudo-complex affine space. The pseudo-complex hyperbolic space accomodates n-number of uncompactified time-like extra dimensions with sugnature (s,r), where s and r are the numbers of…
We discuss the meaning of the strong equivalence principle when applied to a quantum field theory. We show that, because of unitary inequivalence of accelerated frames, the only way for the equivalence principle to apply exactly is to add a…