Related papers: Building Models of Determinacy from Below

The existence of an Almeida-Thouless (AT) instability surface below the upper critical dimension 6 is demonstrated in the generic replica symmetric field theory. Renormalization flows from around the zero-field fixed point are investigated.…

We prove two structure theorems for simple, locally finite dimensional Lie algebras over an algebraically closed field of characteristic $p$ which give sufficient conditions for the algebras to be of the form $[R^{(-)}, R^{(-)}] / (Z(R)…

Every submartingale S of class D has a unique Doob-Meyer decomposition S=M+A, where M is a martingale and A is a predictable increasing process starting at 0. We provide a short and elementary prove of the Doob-Meyer decomposition theorem.…

We present the construction of the standard model within the framework of non--associative geometry. For the simplest scalar product we get the tree--level predictions $m_W=\frac{1}{2} m_t\,,$ $m_H=\frac{3}{2} m_t$ and $\sin^2 \theta_W=…

We develop the basic fine structure theory of the minimal model of the Largest Suslin Axiom. In particular, we prove that that the minimal model of the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the Proper Forcing…

In this paper, we construct the complete set of minimal 3-point vertices for the massive Standard Model (SM) based purely on symmetry principles, mass dimension and high-energy behavior and without any recourse to field theory, gauge…

We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…

Gauged linear sigma models with (0,2) supersymmetry allow a larger choice of couplings than models with (2,2) supersymmetry. We use this freedom to find a fully linear construction of torsional heterotic compactifications, including models…

We give a new simple construction of the sandpile measure on an infinite graph G, under the sole assumption that each tree in the Wired Uniform Spanning Forest on G has one end almost surely. For, the so called, generalized minimal…

We introduce a generalization of $A_{r}$-type Toda theory based on a non-abelian group G, which we call the $(A_{r},G)$-Toda theory, and its affine extensions in terms of gauged Wess-Zumino-Witten actions with deformation terms. In…

We describe the construction of vector valued modular forms transforming under a given congruence representation of the modular group SL$(\bold Z)$ in terms of theta series. We apply this general setup to obtain closed and easily computable…

Let $K$ be an algebraically closed field that is complete with respect to a non-Archimedean absolute value, and let $\varphi\in K(z)$ have degree $d\geq 2$. We characterize maps for which the minimal resultant of an iterate $\varphi^n$ is…

This paper contains the following $\delta$-discretised projection theorem for Ahlfors regular sets in the plane. For all $C,\epsilon > 0$ and $s \in [0,1]$, there exists $\kappa > 0$ such that the following holds for all $\delta > 0$ small…

Let $H$ be an atomic monoid. The set of distances $\Delta (H)$ of $H$ is the set of all $d \in \mathbb{N}$ with the following property: there are irreducible elements $u\_1, \ldots, u\_k, v\_1 \ldots, v\_{k+d}$ such that $u\_1 \cdot \ldots…

In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure of K. We give a possible constructive interpretation of the…

There exist NIP and non-NTP$_2$ theories satisfying all the following conditions: It is not o-minimal; All models are strongly locally o-minimal; It has a model which is an expansion of the linearly ordered abelian group over the reals…

We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…

Many methods for the verification of complex computer systems require the existence of a tractable mathematical abstraction of the system, often in the form of an automaton. In reality, however, such a model is hard to come up with, in…

In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the…

Let $V_{L}$ be the vertex algebra associated to a non-degenerate even lattice $L$, $\theta$ the automorphism of $V_{L}$ induced from the $-1$-isometry of $L$, and $V_{L}^{+}$ the fixed point subalgebra of $V_{L}$ under the action of…