Related papers: On NSOP$_2$ Theories

We algebraically prove the cancellation of the beta function at all order of perturbation theory of N=2 supersymmetric gauge theories with a vanishing one-loop beta function. The proof generalises that recently given for the N=4 case. It…

We prove an old conjecture of McMullen, Schneider and Shephard that every polytope with the generating property is strongly monotypic. The other direction is already known, which implies that strong monotypy and the generating property for…

For $n \geq 3,$ let $ p_n $ denote the $n^{\rm th}$ prime number. Let $[ \; ]$ denote the floor or greatest integer function. For a positive integer $m,$ let $\pi_2(m)$ denote the number of twin primes not exceeding $m.$ The twin prime…

Our "long term and large scale" aim is to characterize the first order theories T (at least the countable ones) such that: for every ordinal alpha there lambda,M_1,M_2 such that M_1,M_2 are non-isomorphic models of T of cardinality lambda…

The title's century-old conjecture is established fpr D=2 and is likely for all D.

Erd\H os and R\'{e}nyi claimed and Vu proved that for all $h \ge 2$ and for all $\epsilon > 0$, there exists $g = g_h(\epsilon)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$…

A new general all terminal network reliability factorization theorem is stated. We relegate the proof to a forthcoming second part paper.

We give a general exposition of model theoretic connected components of groups. We show that if a group G has NIP, then there exists the smallest invariant (over some small set) subgroup of G with bounded index (Theorem 5.3). This result…

The prepotential of N=2* supersymmetric theories with unitary gauge groups in an Omega-background satisfies a modular anomaly equation that can be recursively solved order by order in an expansion for small mass. By requiring that S-duality…

We discuss cases where Voevodsky's smash nilpotence conjecture is known, and give a few new ones. In particular we explain a theorem of the cube for $1$-cycles, which is due to Oussama Ouriachi.

We argue that N=2 supersymmetric Chern-Simons theories exhibit a strong-weak coupling Seiberg-type duality. We also discuss supersymmetry breaking in these theories.

We prove new results on the additive theory of reversed primes $\overleftarrow{p}$; that is, primes $p$ which are written backwards in a fixed base $b\geq 2$. In particular, we study a variant of Goldbach's conjecture, looking at…

We generalize the Khovanov-Rozansky cohomology for n=2 by means of a homogeneous potential that depends on two parameters, to obtain the universal Khovanov-Rozansky sl(2) link cohomology. This theory is equivalent to the universal foam…

A first-order theory $T$ is a model-complete core theory if every first-order formula is equivalent modulo $T$ to an existential positive formula; the core companion of a theory $T$ is a model-complete core theory $S$ such that every model…

Our aim was to generalize some theorems about the saturation of ultra-powers to reduced powers. Naturally, we deal via saturation for types consisting of atomic formulas. We succeed to generalize the theory of dense linear is maximal and so…

Let $n$ be a large number. A subset $A$ of $Z_n$ is complete if $S_A = Z_n$, where $S_A$ is the collection of the subset sums of $A$. Olson proved that if $n$ is a prime and $|A|> 2n^{1/2} $, then $S_A$ is complete. We show that a similar…

We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.

We extend the path-integral formulation of Poisson-Lie duality found by Tyurin and von Unge to N=1 supersymmetric sigma-models. Using an explicit representation of the generators of the Drinfel'd double corresponding to GxU(1)^dimG we…

We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual…

We prove that, for almost all $r \leq N^{1/2}/\log^{O(1)}N$, for any given $b_1 \mod r$ with $(b_1, r) = 1$, and for almost all $b_2 \mod r$ with $(b_2, r) = 1$, we have that almost all natural numbers $2n \leq N$ with $2n \equiv b_1 + b_2…