English
Related papers

Related papers: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…

200 papers

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…

Logic · Mathematics 2016-09-06 Lorenz Halbeisen , Saharon Shelah

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.…

High Energy Physics - Theory · Physics 2021-05-06 Yusuke Kimura

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…

Logic · Mathematics 2016-09-06 Garvin Melles

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…

High Energy Physics - Phenomenology · Physics 2014-09-17 B. Elliott , S. S. Chabysheva , J. R. Hiller

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,…

High Energy Physics - Phenomenology · Physics 2016-08-15 H. García-Compeán , A. Pérez-Lorenzana , A. Zepeda

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…

High Energy Physics - Phenomenology · Physics 2009-10-09 R. Barbieri , P. Ciafaloni , A. Strumia

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…

Logic · Mathematics 2016-09-07 Sy D. Friedman

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…

Logic · Mathematics 2025-08-25 Takehiko Gappo , Andreas Lietz

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…

Logic · Mathematics 2018-11-07 Vladimir Kanovei , Vassily Lyubetsky

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)…

Logic · Mathematics 2009-09-25 Andreas Blass

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…

Cosmology and Nongalactic Astrophysics · Physics 2014-01-20 Paolo Creminelli , Jorge Noreña , Marko Simonović , Filippo Vernizzi

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…

Logic in Computer Science · Computer Science 2025-03-04 David M. Cerna

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…

Algebraic Topology · Mathematics 2010-10-26 Stefan Papadima , Alexander I. Suciu

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,…

Logic · Mathematics 2025-02-03 Douglas Blue , Paul B. Larson , Grigor Sargsyan

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…

High Energy Physics - Theory · Physics 2022-06-29 James Halverson , Benjamin Sung

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…

High Energy Physics - Phenomenology · Physics 2010-11-01 Stephan Pinsky , Brett van de Sande

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…

High Energy Physics - Theory · Physics 2025-12-23 Jonathan J. Heckman , Max Hübner , Chitraang Murdia

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…

High Energy Physics - Theory · Physics 2024-08-26 Jin Chen , Wei Cui , Babak Haghighat , Yi-Nan Wang

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…

Differential Geometry · Mathematics 2010-03-02 Minh Q. Truong

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…

General Relativity and Quantum Cosmology · Physics 2015-07-28 Giorgio Torrieri