Related papers: Ramsey Property and Pathological Sets: Almost Disj…

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 show that if the Ramsey property holds (in a class of sets), then there is no MAD family (in this class, provided it satisfies some modest closure properties), proving a conjecture made by A.R.D.\ Mathias in 1977. As the technique we…

Let $x$ denote a Laver real over $L$. We prove that in $L[x]$ there is a $\Pi^1_1$ infinite mad family. Since $\Pi^1_1$ and $\Sigma^1_2$ sets are Laver measurable in $L[x]$, this shows that there are examples of well-behaved classical…

We prove that under a principle of Ramsey regularity there are no infinite maximal almost disjoint families with respect to the transfinitely iterated Fr\'echet ideals. The results of the present paper were announced by the authors in the…

All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…

We study families of subsets of $\omega$ which are independent with respect to the asymptotic density $\mathsf{d}$. We show, for instance, that there exists a maximal $\mathsf{d}$-independent family $\mathcal{A}$ such that…

For a property $\Gamma$ and a family of sets $\cF$, let $f(\cF,\Gamma)$ be the size of the largest subfamily of $\cF$ having property $\Gamma$. For a positive integer $m$, let $f(m,\Gamma)$ be the minimum of $f(\cF,\Gamma)$ over all…

We study the notion of $\mathcal J$-MAD families where $\mathcal J$ is a Borel ideal on $\omega$. We show that if $\mathcal J$ is an arbitrary $F_\sigma$ ideal, or is any finite or countably iterated Fubini product of $F_\sigma$ ideals,…

Let $G$ be a connected algebraic semisimple real Lie group with finite center and no compact factors, and let $\Gamma$ be a Zariski dense discrete subgroup of $G$. We show that $\Gamma$ contains free, finitely generated subsemigroups whose…

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…

This is the Ph.D. thesis of the author, which was written under the supervision of Michael Hru\v{s}\'{a}k at UNAM. The main contributions of this thesis are the following: There is a $+$-Ramsey \textsf{MAD} family. This answers an old…

We show that there are no infinite maximal almost disjoint ("mad") families in Solovay's model, thus solving a long-standing problem posed by A.D.R. Mathias in 1967. We also give a new proof of Mathias' theorem that no analytic infinite…

Our main result is that, given a collection $\mathcal{R}$ of meager relations on a Polish space $X$ such that $|\mathcal{R}|\leq\omega$, there exists a dense Baire subspace $F$ of $X$ (equivalently, a nowhere meager subset $F$ of $X$) such…

A countable discrete group $\Gamma$ is said to have the relative ISR-property if for every non-trivial normal subgroup $N\trianglelefteq\Gamma$ and every von Neumann subalgebra $\mathcal{M}\subseteq L(\Gamma)$ invariant under conjugation by…

Let $\Gamma$ be a countable discrete group. We say that $\Gamma$ has $C^*$-invariant subalgebra rigidity (ISR) property if every $\Gamma$-invariant $C^*$-subalgebra $\mathcal{A}\le C_r^*(\Gamma)$ is of the form $C_r^*(N)$ for some normal…

We say that a countable discrete group $\Gamma$ satisfies the invariant von Neumann subalgebras rigidity (ISR) property if every $\Gamma$- invariant von Neumann subalgebra $\mathcal{M}$ in $L(\Gamma)$ is of the form $L(\Lambda)$ for some…

A classical vertex Ramsey result due to Ne\v{s}et\v{r}il and R\"odl states that given a finite family of graphs $\mathcal{F}$, a graph $A$ and a positive integer $r$, if every graph $B\in\mathcal{F}$ has a $2$-vertex-connected subgraph…

Let $E$ be a vector space over a countable field of dimension $\aleph_0$. Two infinite-dimensional subspaces $V,W \subseteq E$ are almost disjoint if $V \cap W$ is finite-dimensional. This paper provides some improvements on results about…

The Cayley sum graph $\Gamma_A$ of a set $A \subseteq \mathbb{Z}_n$ is defined to have vertex set $\mathbb{Z}_n$ and an edge between two distinct vertices $x, y \in \mathbb{Z}_n$ if $x + y \in A$. Green and Morris proved that if the set $A$…

Let $k$ and $p$ be positive integers and let $Q$ be a finite point set in general position in the plane. We say that $Q$ is $(k,p)$-Ramsey if there is a finite point set $P$ such that for every $k$-coloring $c$ of $\binom{P}{p}$ there is a…