3 papers
math.LO2026
Functional Projection and Complexity Reduction
Vera Fischer, Yurii Khomskii, Yipu Li +1
Törnquist (arXiv:1310.3250) proved that if there exists a maximal almost disjoint (MAD) family, then there exists a MAD family. Since then, se…
math.LO2026
Strong Projective Witnesses
Vera Fischer, Julia Millhouse
We show Shelah's original creature forcing from 1984 strongly preserves tight mad families. In particular, answering questions of Fischer and Friedman and Friedman and Zdomskyy, we…
math.LO2025
Coanalytic families of functions
Julia Millhouse, Lukas Schembecker
For Van Douwen families, maximal families of eventually different permutations and maximal ideal independent families we show that the existence of a family implies the exi…