Related papers: Existence in NSOP$_1$ theories

The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the…

An N-dimensional generalization of Nicholson's equation is analyzed. We consider a model including multiple delays, nonlinear coefficients and a nonlinear harvesting term. Inspired by previous results in this subject, we obtain sufficient…

We revisit Ahlfors theory of covering surfaces thanks to Stokes theorem.

We show the NP-completeness of the existential theory of term algebras with the Knuth-Bendix order by giving a nondeterministic polynomial-time algorithm for solving Knuth-Bendix ordering constraints.

We construct a parafermionic conformal theory with the symmetry Z_N, for N odd, based on the second solution of Fateev-Zamolodchikov for the corresponding parafermionic chiral algebra. Primary operators are classified according to their…

In this paper, we define a concept of a family of compact holomorphic Poisson manifolds on the basis of Kodaira-Spencer's deformation theory and deduce the integrability condition. We prove an analogue of their `Theorem of existence for…

We present news proofs of the additivity, resolution and cofinality theorems for the algebraic $K$-theory of exact categories. These proofs are entirely algebraic, based on Grayson's presentation of higher algebraic $K$-groups via binary…

In this paper we prove the existence and linear stability of full dimensional tori with subexponential decay for 1-dimensional nonlinear wave equation with external parameters, which relies on the method of KAM theory and the idea proposed…

We establish an existence and uniqueness theorem for prime decompositions of theta-curves in $3$-manifolds.

We show that the Baum-Connes morphism twisted by a non-unitary representation, defined in [GA08], is an isomorphism for a large class of groups satisfying the Baum-Connes conjecture. Such class contains all the real semi-simple Lie groups,…

We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m = n = 2$, this…

We prove a better coloring theorem for aleph_4 and even aleph_3. This has a general topology consequence.

A proof is given of Rosenthal's \(\ell_1\) theorem.

We investigate the existence of Wilton ripple solutions of the Kawahara equation. Without loss of generality, these are $2\pi$-periodic, traveling-wave solutions whose profiles at zero amplitude have a codimension-1 bifurcation from a…

In this paper, we focus on a question of M. Newman on isomorphic subgroups of solvable groups. We get a reduction theorem of this question: for each prime q, assume that this question holds for every characteristic q-groups, then this…

We show that if $Q$ is a closed, reduced, complex orbifold of dimension $n$ such that every local group acts as a subgroup of $SU(2) < SU(n)$, then the $K$-theory of the unique crepant resolution of $Q$ is isomorphic to the orbifold…

We formulate and prove a Bott periodicity theorem for an $\ell^p$-space ($1\leq p<\infty$). For a proper metric space $X$ with bounded geometry, we introduce a version of $K$-homology at infinity, denoted by $K_*^{\infty}(X)$, and the Roe…

Vorst and latter Dayton-Weibel proved that K_n-regularity implies K_(n-1)-regularity. In this note we generalize this result from (commutative) rings to differential graded categories and from algebraic K-theory to any functor which is…

In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$…

We define and describe the class of Quasi-T\"oplitz functions. We then prove an abstract KAM theorem where the perturbation is in this class. We apply this theorem to a Non-Linear-Scr\"odinger equation on the torus $T^d$, thus proving…