Related papers: Existence in NSOP$_1$ theories

This is the last paper of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number~$k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at…

We extend Sharkovskii's theorem to the cases of $N$-dimensional maps which are close to 1D maps, with an attracting $n$-periodic orbit. We prove that, with relatively weak topological assumptions, there exist also $m$-periodic orbits for…

We develop the theory of multiplicative Ehresmann connections for Lie groupoid submersions covering the identity, as well as their infinitesimal counterparts. We construct obstructions to the existence of such connections, and we prove…

We consider a general nonlinear dispersive equation with monomial nonlinearity of order $k$ over $\mathbb{R}^d$. We construct a rigorous theory which states that higher-order nonlinearities and higher dimensions induce sharper local…

We consider a slightly modified form of the standard Rudin-Keisler order on ideals and demonstrate the existence of complete (with respect to this order) ideals in various projective classes. Using our methods, we obtain a simple proof of…

It is a theorem of Kim-Tamagawa that the $\mathbb Q_\ell$-pro-unipotent Kummer map associated to a smooth projective curve $Y$ over a finite extension of $\mathbb Q_p$ is locally constant when $\ell\neq p$. The present paper establishes two…

We give an algebraic criterion for a nilpotent real Lie algebra and prove that it provides a necessary and sufficient condition for the associated nilpotent Lie group to admit left-invariant Ricci solitons, called nilsolitons. As an…

In this note we provide a quick proof of the Sklar's Theorem on the existence of copulas by using the generalized inverse functions as in the one dimensional case, but a little more sophisticated.

We consider the equivariant K-theory of a real semisimple Lie group which acts on the (complex) flag variety of its complexification group. We construct an assemble map in the framework of KK-theory and then we prove that it is an…

We prove that for every positive integer k, there exists an MSO_1-transduction that given a graph of linear cliquewidth at most k outputs, nondeterministically, some cliquewidth decomposition of the graph of width bounded by a function of…

For an associative ring $R$ with identity, we study the absence of $k$-torsion in NK_1GQ(R); Bass nil-groups for the general quadratic or Bak's unitary groups. By using a graded version of Quillen--Suslin theory we deduce an analog for the…

In this paper, the set of all physical theories is represented by a countable collection of consequence operators. It is established that in the Grundlegend Structure, a nonstandard structure, there exists a function S such that for any…

The $t$-intersecting Erd\H{o}s-Ko-Rado theorem is the following statement: if $\mathcal{F} \subset \binom{[n]}{k}$ is a $t$-intersecting family of sets and $n\ge (t+1)(k-t+1)$, then $|\mathcal{F}| \le \binom{n-t}{k-t}$. The first proof of…

We consider the initial problem for the Navier-Stokes equations over ${\mathbb R}^3 \times [0,T]$ with a positive time $T$ over specially constructed scale of function spaces of Bochner-Sobolev type. We prove that the problem induces an…

We derive a generalized Stokes' theorem, valid in any dimension and for arbitrary loops, even if self intersecting or knotted. The generalized theorem does not involve an auxiliary surface, but inherits a higher rank gauge symmetry from the…

We present a characterization of sets for which Cartwright's theorem holds true. The connection is discussed between these sets and sampling sets for entire functions of exponential type.

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct…

We give a short, topological proof that all graphs admit tree-decompositions displaying their topological ends.

We prove Kawaguchi-Silverman conjecture for all surjective endomorphisms on every smooth rationally connected variety admitting an int-amplified endomorphism.

We obtain a set of necessary and sufficient conditions for $| \bar{N}, p_{n} |_{k} $ to imply $|\bar{N}, q_{n} |_{s}$ for $1 < k \leq s < \infty$. Using this result we establish several inclusion theorems as well as conditions for the…