Related papers: Flatness and Nonforking without the Continuum Hypo…

We study a variety of field theories with vanishing single soft limits. In all cases, the structure of the soft limit is controlled by a larger theory, which provides an extension of the original one by adding more fields and interactions.…

We construct a model of the form $L[A,U]$ that exhibits the simplest structural behavior of $\sigma$-complete ultrafilters in a model of set theory with a single measurable cardinal $\kappa$ , yet satisfies $2^\kappa = \kappa^{++}$. This…

We study supersymmetry breaking deformations of the $\mathcal{N}=1$ 5d fixed point known as $E_1$, the UV completion of $SU(2)$ super-Yang-Mills. The phases of the non-supersymmetric theory can be characterized by Chern-Simons terms…

We introduce some properties describing dependence in indiscernible sequences: $F_{ind}$ and its dual $F_{Mb}$, the definable Morley property, and $n$-resolvability. Applying these properties, we establish the following results: We show…

We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing…

The existence of End Elementary Extensions of models M of ZFC is related to the ordinal height of M, according to classical results due to Keisler, Morley and Silver. In this paper, we further investigate the connection between the height…

Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…

This article describes a Turing machine which can solve for $\beta^{'}$ which is RE-complete. RE-complete problems are proven to be undecidable by Turing's accepted proof on the Entscheidungsproblem. Thus, constructing a machine which…

This work is focused on establishing sufficient conditions to guarantee the well-posedness of the following nonlinear fractional semidiscrete model \begin{equation*} \begin{cases} \mathbb D^\beta_t u(n,t)= B u(n,t) + f(n-ct,u(n,t)),\,…

This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is considered.Main results is: (1) let $k$ be an inaccessible…

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…

We study supersymmetric field theories in three space-time dimensions doped by various configurations of electric charges or magnetic fluxes. These are supersymmetric avatars of impurity models. In the presence of additional sources such…

Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…

We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…

I introduce a new family of axioms extending ZFC set theory, the $\Sigma_n$-correct forcing axioms. These assert roughly that whenever a forcing name $\dot{a}$ can be forced by a poset in some forcing class $\Gamma$ to have some $\Sigma_n$…

Flat bands, in which kinetic energy is quenched and quantum states become macroscopically degenerate, host a rich variety of correlated and topological phases, from unconventional superconductors to fractional Chern insulators. In Hermitian…

We prove that any flat family $(\mathcal{ F}_u)_{u\in U}$ of rank 2 torsion-free sheaves on a Gauduchon surface defines a continuous map on the semi-stable locus $U^{\mathrm {ss}}:=\{u\in U \ |\ \mathcal{ F}_u\hbox{ is slope semi-stable}\}$…

We construct super Yang-Mills theories with extended supersymmetry on hypercubic lattices of various dimensions keeping one or two supercharges exactly. Gauge fields are represented by ordinary unitary link variables, and the exact…

The theory of Force-Free Electrodynamics (FFE) provides a robust framework for modeling the magnetospheres of compact objects, where the electromagnetic field's energy density dominates the surrounding plasma. Central to this theory is the…