Maximal almost disjoint families of functions

Tom 204 / 2009

Dilip Raghavan Fundamenta Mathematicae 204 (2009), 241-282 MSC: 03E17, 03E15, 03E35, 03E40, 03E05, 03E50, 03E65. DOI: 10.4064/fm204-3-3


We study maximal almost disjoint (MAD) families of functions in $\omega^\omega$ that satisfy certain strong combinatorial properties. In particular, we study the notions of strongly and very MAD families of functions. We introduce and study a hierarchy of combinatorial properties lying between strong MADness and very MADness. Proving a conjecture of Brendle, we show that if $\mathop{\rm cov}\nolimits({\cal M}) < {\mathfrak a}_{\mathfrak e}$, then there no very MAD families. We answer a question of Kastermans by constructing a strongly MAD family from ${\mathfrak b} = {\mathfrak c}$. Next, we study the indestructibility properties of strongly MAD families, and prove that the strong MADness of strongly MAD families is preserved by a large class of posets that do not make the ground model reals meager. We solve a well-known problem of Kellner and Shelah by showing that a countable support iteration of proper posets of limit length does not make the ground model reals meager if no initial segment does. Finally, we prove that the weak Freese–Nation property of ${\cal P}(\omega)$ implies that all strongly MAD families have size at most ${\aleph}_{1}$.


  • Dilip RaghavanDepartment of Mathematics
    University of Toronto
    Toronto, ON M5S 2E4 Canada

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek