Related papers: Madness in vector spaces

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…

We consider the definability of mad families in vector spaces of the form $\underset{n<\omega}{\bigoplus} F$ where $F$ is a field of cardinality $\leq \aleph_0$. We show that there is no analytic mad family of subspaces when…

Starting from an inaccessible cardinal, we construct a model of $ZF+DC$ where there exists a mad family and all sets of reals are $\mathbb Q$-measurable for $\omega^{\omega}$-bounding sufficiently absolute forcing notions $\mathbb Q$.

Given a family $F$ of pairwise almost disjoint sets on a countable set $S$, we study maximal almost disjoint (mad) families $F^+$ extending $F$. We define $a^+(F)$ to be the minimal possible cardinality of $F^+\setminus F$ for such $F^+$,…

The mad spectrum is the set of all cardinalities of infinite maximal almost disjoint families on omega. We treat the problem to characterize those sets A which, in some forcing extension of the universe, can be the mad spectrum. We solve…

We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families,…

We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is…

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…

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 consider weakenings of normality in $\Psi$-spaces and prove that the existence of a MAD family whose $\Psi$-space is almost-normal is independent of \textsf{ZFC}. We also construct a partly-normal not quasi-normal AD family, answering…

We show that the Ramsey theory of block sequences in infinite-dimensional discrete vector spaces can be parametrized by perfect sets. As special cases, we prove combinatorial dichotomies for definable families of partitions and linear…

In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace…

We throw some light on the question: is there a MAD family (= a family of infinite subsets of N, the intersection of any two is finite) which is completely separable (i.e. any X subseteq N is included in a finite union of members of the…

We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $\omega$ implies that the modal logic S4.1.2 is complete with respect to the \v{C}ech-Stone compactification of the natural numbers,…

A MAD (maximal almost disjoint) family is an infinite subset A of the infinite subsets of {0,1,2,..} such that any two elements of A intersect in a finite set and every infinite subset of {0.1.2...} meets some element of $\aa$ in an…

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

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…

We prove in ZFC that there is a MAD family of functions in omega^omega which is also maximal with respect to infinite partial functions. This solves a 20 year old question of Van Douwen. We also strengthen a result of J. Steprans stating…

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

We study two different types of (maximal) almost disjoint families: very mad families and (maximal) cofinitary groups. For the very mad families we prove the basic existence results. We prove that MA implies there exist many pairwise…