中文
相关论文

相关论文: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…

200 篇论文

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…

逻辑 · 数学 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.…

高能物理 - 理论 · 物理学 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…

逻辑 · 数学 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…

高能物理 - 唯象学 · 物理学 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,…

高能物理 - 唯象学 · 物理学 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…

高能物理 - 唯象学 · 物理学 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…

逻辑 · 数学 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…

逻辑 · 数学 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…

逻辑 · 数学 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)…

逻辑 · 数学 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…

宇宙学与河外天体物理 · 物理学 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…

计算机科学中的逻辑 · 计算机科学 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…

代数拓扑 · 数学 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,…

逻辑 · 数学 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…

高能物理 - 理论 · 物理学 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…

高能物理 - 唯象学 · 物理学 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…

高能物理 - 理论 · 物理学 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…

高能物理 - 理论 · 物理学 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…

微分几何 · 数学 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…

广义相对论与量子宇宙学 · 物理学 2015-07-28 Giorgio Torrieri