Let ${\cal I}$ be an ideal on ω. By cov${}_{}^{\rm{*}}$ we denote the least size of a family ${\cal B} \subseteq {\cal I}$ such that for every infinite $X \in {\cal I}$ there is $B \in {\cal B}$ for which $B\mathop \cap \nolimits X$ is infinite. We say that an AD family ${\cal A} \subseteq {\cal I}$ is a MAD family restricted to${\cal I}$ if for every infinite $X \in {\cal I}$ there is $A \in {\cal A}$ such that $|X\mathop (...) \cap \nolimits A| = \omega$. Let a$\left$ be the least size of an infinite MAD family restricted to ${\cal I}$. We prove that If $max${a,cov${}_{}^{\rm{*}}\}$ then a$\left = {\omega _1}$, and consequently, if ${\cal I}$ is tall and $\le {\omega _2}$ then a$\left = max$ {a,cov${}_{}^{\rm{*}}\}$. We use these results to prove that if c$\le {\omega _2}$ then o$= \overline o$ and that as$= max${a,non$\}$. We also analyze the problem whether it is consistent with the negation of CH that every AD family of size ω1 can be extended to a MAD family of size ω1. (shrink)

We show that Miller partition forcing preserves selective independent families and P-points, which implies the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {u}=\mathfrak {i}<\mathfrak {a}_T=\omega _2$. In addition, we show that Shelah’s poset for destroying the maximality of a given maximal ideal preserves tight mad families and so we establish the consistency of $\mbox {cof}(\mathcal {N})=\mathfrak {a}=\mathfrak {i}=\omega _1<\mathfrak {u}=\mathfrak {a}_T=\omega _2$.

If $\mathcal{F}$ is a filter on $\omega$, we say that $\mathcal{F}$ is Canjar if the corresponding Mathias forcing does not add a dominating real. We prove that any Borel Canjar filter is $F_{\sigma}$, solving a problem of Hrušák and Minami. We give several examples of Canjar and non-Canjar filters; in particular, we construct a $\mathsf{MAD}$ family such that the corresponding Mathias forcing adds a dominating real. This answers a question of Brendle. Then we prove that in all the “classical” models (...) of $\mathsf{ZFC}$ there are $\mathsf{MAD}$ families whose Mathias forcing does not add a dominating real. We also study ideals generated by branches, and we uncover a close relation between Canjar ideals and the selection principle $S_{\mathrm{fin}}$ on subsets of the Cantor space. (shrink)

In this survey paper we collect several known results on destroying tall ideals on countable sets and maximal almost disjoint families with forcing. In most cases we provide streamlined proofs of the presented results. The paper contains results of many authors as well as a preview of results of a forthcoming paper of Brendle, Guzmán, Hrušák, and Raghavan.

We say that $\mathcal {I}$ is an ideal independent family if no element of ${\mathcal {I}}$ is a subset mod finite of a union of finitely many other elements of ${\mathcal {I}}.$ We will show that the minimum size of a maximal ideal independent family is consistently bigger than both $\mathfrak {d}$ and $\mathfrak {u},$ this answers a question of Donald Monk.

We study the Rudin–Keisler pre-order on Fréchet–Urysohn ideals on $\omega $. We solve three open questions posed by S. García-Ferreira and J. E. Rivera-Gómez in the articles [5] and [6] by establishing the following results: •For every AD family $\mathcal {A},$ there is an AD family $\mathcal {B}$ such that $\mathcal {A}^{\perp } <_{{\textsf {RK}}}\mathcal {B}^{\perp }.$ •If $\mathcal {A}$ is a nowhere MAD family of size $\mathfrak {c}$ then there is a nowhere MAD family $\mathcal {B}$ such that $\mathcal (...) {I}\left $ and $\mathcal {I}\left $ are Rudin–Keisler incomparable.•There is a family $\left \{ \mathcal {B}_{\alpha }\mid \alpha \in \mathfrak {c}\right \} $ of nowhere MAD families such that if $\alpha \neq \beta $, then $\mathcal {I}\left $ and $\mathcal {I}\left $ are Rudin–Keisler incomparable.Here $\mathcal {I}$ denotes the ideal generated by an AD family $\mathcal {A}$.In the context of hyperspaces with the Vietoris topology, for a Fréchet–Urysohn-filter $\mathcal {F}$ we let $\mathcal {S}_{c}\left \right ) $ be the hyperspace of nontrivial convergent sequences of the space consisting of $\omega $ as discrete subset and only one accumulation point $\mathcal {F}$ whose neighborhoods are the elements of $\mathcal {F}$ together with the singleton $\{\mathcal {F}\}$. For a FU-filter $\mathcal {F}$ we show that the following are equivalent: • $\mathcal {F}$ is a FUF-filter.• $\mathcal {S}_{c}\left \right ) $ is Baire. (shrink)

We continue with the study of the Katětov order on MAD families. We prove that Katětov maximal MAD families exist under $\mathfrak {b=c}$ and that there are no Katětov-top MAD families assuming $\mathfrak {s\leq b}.$ This improves previously known results from the literature. We also answer a problem form Arciga, Hrušák, and Martínez regarding Katětov maximal MAD families.