Related papers: A note on some example of NSOP1 theories

We extend Dolgopyat's bounds on iterated transfer operators to suspensions of interval maps with infinitely many intervals of monotonicity.

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

Generalised quantifiers, which include Henkin's branching quantifiers, have been introduced by Mostowski and Lindstr\"om and developed as a substantial topic application of logic, especially model theory, to linguistics with work by…

We present and analyze a natural hierarchy of weak theories, develop analysis in them, and show that they are interpretable in bounded quantifier arithmetic $\text{I}\Delta_0$ (and hence in Robinson arithmetic Q). The strongest theories…

We generalise the known fact that for binomial $X_{n,k} \sim \mathrm{Bin}(n, k/n)$ one has $\inf_{k>1,n} \mathrm{P}(X_{n,k} \geq k) \geq \lim_{k \to 1+}\mathrm{P}(X_{2,k} \geq k) = 1/4$ to cover probabilities of exceeding a constant shift…

We study convergence properties of sparse averages of partial sums of Fourier series of continuous functions. By sparse averages, we are considering an increasing sequences of integers $n_0 < n_1 < n_2 < ...$ and looking at…

This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…

We propose a mechanism displaying confinement, as defined by the behavior of the propagators, for 4 dimensional, N = 1 supersymmetric Yang-Mills theory in superfield formalism. In this work we intend to verify the possibility of extending…

Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$,…

Consider the expansion $T_S$ of a theory $T$ by a predicate for a submodel of a reduct $T_0$ of $T$. We present a setup in which this expansion admits a model companion $TS$. We show that the nice features of the theory $T$ transfer to…

We consider a deformation of Kerov character polynomials, linked to Jack symmetric functions. It has been introduced recently by M. Lassalle, who formulated several conjectures on these objects, suggesting some underlying combinatorics. We…

We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…

A central challenge in statistical inference is the presence of confounding variables that may distort observed associations between treatment and outcome. Conventional "causal" methods, grounded in assumptions such as ignorability, exclude…

We investigate new compactifications of OM theory giving rise to a 3+1 dimensional open string theory with noncommutative $x^0$-$x^1$ and $x^2$-$x^3$ coordinates. The theory can be directly obtained by starting with a D3 brane with parallel…

We analytically compute the Renyi entropies for the RSOS models, representing a wide class of exactly solvable models with multicritical conformal points described by unitary minimal models and $\mathbb{Z}_n$ parafermions. The exact…

We extend the results of Cachazo, Seiberg and Witten to N=1 supersymmetric gauge theories with gauge groups SO(2N), SO(2N+1) and Sp(2N). By taking the superpotential which is an arbitrary polynomial of adjoint matter \Phi as a small…

Answering a question by Angel, Holroyd, Martin, Wilson and Winkler, we show that the maximal number of non-colliding coupled simple random walks on the complete graph $K_N$, which take turns, moving one at a time, is monotone in $N$. We use…

We consider N=1 supersymmetric gauge theories based on the group SU(N)_1 x SU(N)_2 x ... x SU(N)_k with matter content (N,N*,1,...,1) + (1,N,N*,...,1) + >... + (N*,1,1,...,N) as candidates for the unification symmetry of all particles. In…

We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erd\H{o}s-Rado theorem and instead use only Ramsey's theorem and compactness. The proof shows that the basic theory of forking in simple…

First, we point out that the present applied superposition principle is linear, it must be developed into a generality. Next, the linear operators and equations should be developed nonlinearly. They will include nonlinear Klein-Gordon…