Haoxuan Ye

Weak separation and finite-trace coding: independence of infinite fin-intersecting MAD families

We prove that, under s < ap, an almost disjoint family is fin-intersecting exactly when its cardinality is less than s. A uniform finite-trace coding lemma and complementary splitting labels exclude every sufficiently large candidate, including every infinite MAD family. Together with the published Banakh, Machura and...