Related papers: On $\boldsymbol{\Sigma}^1_3$- and $\Sigma^1_4$-uni…
We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable…
We investigate the interactions of discrete zero-form and one-form global symmetries in (1+1)d theories. Focus is put on the interactions that the symmetries can have on each other, which in this low dimension result in 2-group symmetries…
In theories with extra dimensions the Standard Model Higgs field can be identified with the internal components of higher-dimensional gauge fields (Higgs-gauge unification). The higher-dimensional gauge symmetry prevents the Higgs mass from…
With the hypothesis that all independent degrees of freedom of basic building blocks should be treated equally on the same footing and correlated by a possible maximal symmetry, we arrive at an 4-dimensional space-time unification model. In…
Global symmetries play an important role in classifying the spectrum of a gauge theory. In the context of the AdS/CFT duality, global baryon-like symmetries are specially interesting. In the gravity side, they correspond to vector fields in…
Recent work has shown that a self-correcting memory can exist in 3 spatial dimensions, provided it is protected by a 1-form symmetry. Requiring that a system's dynamics obey this type of symmetry is equivalent to enforcing a macroscopic…
We propose the SUSY SU(7) unification of the SU(3)_C* SU(4)_W* U(1)_{B-L} model. Such unification scenario has rich symmetry breaking chains in a five-dimensional orbifold. We study in detail the SUSY SU(7) symmetry breaking into SU(3)_C*…
We study partition properties for uncountable regular cardinals that arise by restricting partition properties defining large cardinal notions to classes of simply definable colourings. We show that both large cardinal assumptions and…
The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful…
The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable)…
We consider toy models of holography arising from 3d Chern-Simons theory. In this context a duality to an ensemble average over 2d CFTs has been recently proposed. We put forward an alternative approach in which, rather than summing over…
Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…
Let R be a Dedekind domain. Enochs' solution of the Flat Cover Conjecture was extended as follows: (*) If C is a cotorsion pair generated by a class of cotorsion modules, then C is cogenerated by a set. We show that (*) is the best result…
We continue the investigation of symmetries and anomalies of $T[M]$ theories obtained by compactifying 6d SCFTs on an internal manifold $M$. We extend the notion of "polarizations on a manifold $M$" to cases where $M$ may have boundaries or…
This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diagonal fixed points whose verification requires reflection…
We study mass deformations of $\mathcal{N}=4$, $d=4$ SYM theory that are spatially modulated in one spatial dimension and preserve some residual supersymmetry. We focus on generalisations of $\mathcal{N}=1^*$ theories and show that it is…
Higher dimensional grand unified theories, with gauge symmetry breaking by orbifold compactification, possess SU(5) breaking at fixed points, and do not automatically lead to tree-level gauge coupling unification. A new framework is…
We prove a compactness theorem for pseudopower operations of the form $pp_{\Gamma(\mu,\sigma)}(\mu)$ where $\aleph_0<\sigma=cf(\sigma)\leq cf(\mu)$. Our main tool is a result that has Shelah's cov vs. pp Theorem as a consequence. We also…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language…