Every subset of a topological Ramsey space is Ramsey in the Solovay model
We provide a proof, free of ultrafilters and almost reduction, that every subset of a topological Ramsey space is Ramsey in the Solovay model.
math.LO↗
arXiv subjects
Clement Yung
Publications and source records attributed to Clement Yung.
Full mad families of vector spaces and two local Ramsey theories
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 definability of maximal almost disjoint families (mad families) of subspaces in [18]. We construct a full mad family of block subspaces in ZFC, answering a problem by Smythe in the positive. A variant of this construction shows that there exists a completely separable mad family of block subspaces in ZFC. We also discuss the abstract Mathias forcing introduced by Di Prisco-Mijares-Nieto in [12], and apply it to show that in the Solovay's model obtained by the collapse of a Mahlo cardinal, there are no full mad families of block subspaces over $\mathbb{F}_2$.
math.LO↗
Weak A2 spaces, the Kastanas game and strategically Ramsey sets
We introduce the notion of a weak A2 space (or wA2-space), which generalises spaces satisfying Todor\v{c}evi\'c's axioms A1-A4 and countable vector spaces. We show that in any Polish weak A2 space, analytic sets are Kastanas Ramsey, and discuss the relationship between Kastanas Ramsey sets and sets in the projective hierarchy. We also show that in all spaces satisfying A1-A4, every subset of $\cal{R}$ is Kastanas Ramsey iff Ramsey, generalising the recent result by Cano and Di Prisco. Finally, we show that in the setting of Gowers wA2-spaces, Kastanas Ramsey sets and strategically Ramsey sets coincide, providing a connection between the recent studies on topological Ramsey spaces and countable vector spaces.
math.LO↗
Mad families of Gowers' infinite block sequences
Call a subset of $\mathbf{FIN}_k$ small if it does not contain a copy of $\langle{A\rangle}$ for some infinite block sequence $A \in \mathbf{FIN}_k^{[\infty]}$. Gowers' $\mathbf{FIN}_k$ theorem asserts that the set of small subsets of $\mathbf{FIN}_k$ forms an ideal, so it is sensible to consider almost disjoint families of $\mathbf{FIN}_k$ with respect to the ideal of small subsets of $\mathbf{FIN}_k$. We shall show that $\mathfrak{a}_{\mathbf{FIN}_k}$, the smallest possible cardinality of an infinite mad family of $\mathbf{FIN}_k$, is uncountable.
math.LO↗