Related papers: On NSOP$_2$ Theories

Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty…

We develop tools to prove D\'iaz and Park's sharpness conjecture (see [8]) for fusion systems admitting tame families of fusion subsystems (see Theorem A). We use such tools to prove the conjecture for all Benson-Solomon fusion systems (see…

We prove that in NTP_2 theories if p is a dependent type with dp-rank >= \kappa, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any…

We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar and give a slight improvement to a result of Malliaris and Terry. We also prove a new Sauer-Shelah…

The aim of this paper is to get a complete list of positive definite symmetric matrices with integer entries $\a&b\b&d\$ such that all complex solutions to the system of equations $1-x_1=x_1^ax_2^b\ 1-x_2=x_1^bx_2^d$ are real. This result…

We adapt the properties of Kim-independence in NSOP1 theories with existence proven in [5],[4] and [2] by Ramsey, Kaplan, Chernikov, Dobrowolski and Kim to hyperimaginaries by adding the assumption of existence for hyperimaginaries. We show…

This article introduces three invariance principles under which P is different from NP. In the second part a theorem of convergence is proven. This theorem states that for any language L there exists an infinite sequence of languages from…

Let S be a p-group for an odd prime p. Bob Oliver conjectures that a certain characteristic subgroup X(S) always contains the Thompson subgroup J(S). We obtain a reformulation of the conjecture as a statement about modular representations…

We consider the infinite one-sided sequence generated by the period-doubling substitution $\sigma(a,b)=(ab,aa)$, denoted by $\mathbb{D}$. Since $\mathbb{D}$ is uniformly recurrent, each factor $\omega$ appears infinite many times in the…

The disproved Nash Williams conjecture states that every 4-regular 4-connected graph has a hamiltonian cycle. We show that a modification of this conjecture is equivalent to the Dominating Cycle Conjecture.

A few new N=2 superintegrable mappings in the (1|2) superspace are proposed and their origin is analyzed. Using one of them, acting like the discrete symmetry transformation of the N=2 supersymmetric modified NLS hierarchy, the recursion…

We prove the consistency, assuming an ineffable cardinal, that any two normal countably closed $\omega_2$-Aronszajn trees are club isomorphic. This work generalizes to higher cardinals the property of Abraham-Shelah that any two normal…

We prove existence of wide types in a continuous theory expanding a Banach space, and density of minimal wide types among stable types in such a theory. We show that every minimal wide stable type is "generically" isometric to an l_2 space.…

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…

We discuss reductions of general N=1 four dimensional gauge theories on S^2. The effective two dimensional theory one obtains depends on the details of the coupling of the theory to background fields, which can be translated to a choice of…

We prove that there exists $\alpha \in \mathbb{R}$ such that for any $N$ the dicrepancy $D_N$ of the sequence $\{\alpha n !\} ,\, 1\le n \le N$ satisfies $ D_N = O(\log N)$.

We prove the following result: Let $N \geq 2$ and assume the Riemann Hypothesis (RH) holds. Then \[ \sum_{n=1}^{N} R(n) =\frac{N^{2}}{2} -2 \sum_{\rho} \frac{N^{\rho + 1}}{\rho (\rho + 1)} + O(N \log^{3}N), \] where $\rho=1/2+i\gamma$ runs…

We prove that externally definable sets in first order NIP theories have honest definitions, giving a new proof of Shelah's expansion theorem. Also we discuss a weak notion of stable embeddedness true in this context. Those results are then…

The paper is devoted to the description of $2$-local derivations on von Neumann algebras. Earlier it was proved that every $2$-local derivation on a semi-finite von Neumann algebra is a derivation. In this paper, using the analogue of…

We prove that, for every theory $T$ which is given by an ${\mathcal L}_{\omega_1,\omega}$ sentence, $T$ has less than $2^{\aleph_0}$ many countable models if and only if we have that, for every $X\in 2^\omega$ on a cone of Turing degrees,…