The Ramsey property implies no mad families

DOI10.1073/PNAS.1906183116MaRDI QIDQ5218522zbMATH OpenOpenAlexWikidataFDO

Authors David Schrittesser, Asger Törnquist

Publication date 4 March 2020

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.05824

Mathematics Subject Classification ID

Partition relations (03E02) Descriptive set theory (03E15) Ramsey theory (05D10) Algebraic ergodic theory, cocycles, orbit equivalence, ergodic equivalence relations (37A20)

Abstract: 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 exploits an idea which has its natural roots in ergodic theory, topological dynamics, and invariant descriptive set theory: We use that a certain function associated to a purported mad family is invariant under the equivalence relation $E_0$, and thus is constant on a "large" set. Furthermore we announce a number of additional results about mad families relative to more complicated Borel ideals.

Recommendations

• Definability and almost disjoint families
• On the non-existence of mad families
• Maximal almost disjoint families, determinacy, and forcing
• Happy and mad families in \(L(\mathbb{R})\)
• Maximal almost disjoint families of functions

Cited in

(15)

• There is a +-Ramsey \(\mathsf{MAD}\) family
• On the non-existence of mad families
• A topological view of Ramsey families of finite subsets of positive integers
• Definable MAD families and forcing axioms
• Happy and mad families in \(L(\mathbb{R})\)
• Maximal almost disjoint families, determinacy, and forcing
• A Sacks indestructible co-analytic maximal eventually different family
• Madness in vector spaces
• Non-meager free sets and independent families
• Mad Families Constructed from Perfect Almost Disjoint Families
• Uniformization and internal absoluteness
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Almost Everywhere Behavior of Functions According to Partition Measures
• Almost disjoint families under determinacy
• Happy families and completely Ramsey sets

This page was built for publication: The Ramsey property implies no mad families

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5218522)