Related papers: A dichotomy on Schreier sets

We create a framework for hereditary graph classes $\mathcal{G}^\delta$ built on a two-dimensional grid of vertices and edge sets defined by a triple $\delta=\{\alpha,\beta,\gamma\}$ of objects that define edges between consecutive columns,…

We say that a set system $\mathcal{F}\subseteq 2^{[n]}$ shatters a given set $S\subseteq [n]$ if $2^S= \{F~\cap~S:~F~\in~\mathcal{F}\}$. The Sauer-Shelah lemma states that in general, a set system $\mathcal{F}$ shatters at least…

Generalizing the $\omega$-categorical context, we introduce a notion, which we call the Lascar Property, that allows for a fine analysis of the topological isomorphisms between automorphism groups of countable structures satisfying this…

Sufficient and necessary conditions for an extension of a skew-derivation $(\delta_R,\alpha_R)$ of an associative $\mathbb{F}$-algebra $R$ to a skew derivation $(\delta_S,\alpha_S)$ on an extension $S$ of $R$ by $\mathbb{F}$ or a {\em…

Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles…

It is well-known that for any non-constant polynomial $P$ with integer coefficients the sequence $(P(n))_{ n\in \mathbb N}$ has the property that there are infinitely many prime numbers dividing at least one term of this sequence.…

We show that if all collections of infinite subsets of $\N$ have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. This solves a long-standing problem going back to Mathias \cite{mathias}. The proof…

We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimension. Specifically, we analyze the principles…

We associate ergodic properties to some subsets of the natural numbers. For any given family of subsets of the natural numbers one may study the question of occurrence of certain "algebraic patterns" in every subset in the family. By…

We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous graphs including the random graph, and for expansions of the…

Let G be a compact Lie group acting transitively on Riemannian manifolds M and N. Let p be a G equivariant Riemannian submersion from M to N. We show that a smooth differential form on N has finite Fourier series if and only if the pull…

Let $(\mathcal{M},g)$ be a compact Riemannian manifold of dimension $N\geq 2$. We prove the existence of a family $(\Omega_\varepsilon)_{\varepsilon\in (0,\varepsilon_0)}$ of self-Cheeger sets in $(\mathcal{M},g)$ . The domains…

We introduce a weakened version of the Dunford-Pettis property, and give examples of Banach spaces with this property. In particular, we show that every closed subspace of Schreier's space $S$ enjoys it. As an application, we characterize…

Let $G\stackrel{\alpha}{\curvearrowright}(M,\tau)$ be a trace-preserving action of a finite group $G$ on a tracial von Neumann algebra. Suppose that $A \subset M$ is a finitely generated unital $*$-subalgebra which is globally invariant…

We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{Q}_{_\text{RFSI}}$ of the relatively finitely subdirectly irreducible members of a quasivariety $\mathcal{Q}$ to the whole…

Let $A_1$ and $A_2$ be randomly chosen subsets of the first $n$ integers of cardinalities $s_2\geq s_1 = \Omega(s_2)$, such that their sumset $A_1+A_2$ has size $m$. We show that asymptotically almost surely $A_1$ and $A_2$ are almost fully…

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$, where…

We show in this note that in the forcing extension by $Add(\omega,\beth_{\omega})$, the following Ramsey property holds: for any $r\in \omega$ and any $f: \mathbb{R}\to r$, there exists an infinite $X\subset \mathbb{R}$ such that $X+X$ is…

We investigate products of sets of reals with combinatorial covering properties. A topological space satisfies $\mathsf{S}_1(\Gamma,\Gamma)$ if for each sequence of point-cofinite open covers of the space, one can pick one element from each…

Let $(x_n)$ be a normalized weakly null sequence in a Banach space and let $\varep>0$. We show that there exists a subsequence $(y_n)$ with the following property: $$\hbox{ if }\ (a_i)\subseteq \IR\ \hbox{ and }\ F\subseteq \nat$$ satisfies…