Related papers: Cores over Ramsey structures

We prove that any holomorphic geometric structure of affine type on an Oeljeklaus- Toma manifold is locally homogeneous. For locally conformal K\"ahler Oeljeklaus-Toma manifolds we prove that all holomorphic geometric structures, and also…

We consider canonical fibrations and algebraic geometric structures on homogeneous CR manifolds, in connection with the notion of CR algebra. We give applications to the classifications of left invariant CR structures on semisimple Lie…

We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the…

We show that $\omega$-categorical rings with NIP are nilpotent-by-finite. We prove that an $\omega$-categorical group with NIP and fsg is nilpotent-by-finite. We also notice that an $\omega$-categorical group with at least one strongly…

We prove that the $\infty$-category of orthogonal factorization systems embeds fully faithfully into the $\infty$-category of double $\infty$-categories. Moreover, we prove an (un)straightening equivalence for double $\infty$-categories,…

It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…

In a seminal work, Cheng and Xu showed that if $S$ is a square or a triangle with a certain property, then for every positive integer $r$ there exists $n_0(S)$ independent of $r$ such that every $r$-coloring of $\mathbb{E}^n$ with $n\ge…

In this paper we give a new proof of the Ne\v{s}et\v{r}il-R\"odl Theorem, a deep result of discrete mathematics which is one of the cornerstones of the structural Ramsey theory. In contrast to the well-known proofs which employ intricate…

We show that one can use model categories to construct rational orthogonal calculus. That is, given a continuous functor from vector spaces to based spaces one can construct a tower of approximations to this functor depending only on the…

We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…

We give a new and elementary proof showing that a homeomorphism of a compact metric space is positively expansive if and only if the space is finite.

One of the consequences of the Compactness Principle in structural Ramsey theory is that the small Ramsey degrees cannot exceed the corresponding big Ramsey degrees, thereby justifying the choice of adjectives. However, it is unclear what…

We obtain a complete classification of hypercomplex manifolds, on which a compact group of automorphisms acts transitively. The description of the spaces as well as the proofs of our results use only the structure theory of reductive…

$\Gamma$-structures are weak forms of multiplications on closed oriented manifolds. As shown by Hopf the rational cohomology algebras of manifolds admitting $\Gamma$-structures are free over odd degree generators. We prove that this…

We give an elementary proof of the statement that if an idempotent complete preadditive category has weak kernels and weak cokernels, then it has $n$-kernels if and only if it has $n$-cokernels, where $n$ is a nonnegative integer. As a…

Let U be an open subset of a unirational variety (or more generally of a separably rationally connected variety). We prove that there is rational curve C in U such that the fundamental group of C surjects onto the fundamental group of U.…

We prove that double exponentiation is an upper bound to Ramsey theorem for colouring of pairs when we want to predetermine the order of the differences of successive members of the homogeneous set.

We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…

We prove a theorem ensuring that the compositions of certain Ramsey families are still Ramsey. As an application, we show that in any finite coloring of $\mathbb{N}$ there is an infinite set $A$ and an as large as desired finite set $B$…