If F is a filter on ω, we say that F is Canjar if the corresponding Mathias forcing does not add a dominating real. We prove that any Borel Canjar filter is F σ , this solves a problem of Hrušák and Minami. We give several examples of Canjar and non-Canjar filters, in particular, we construct a 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 ZFC there are 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 f in (Ω, Ω) on subsets of the Cantor space.

Let ${\cal I}$ be an ideal on ω. By cov${}_{}^{\rm{*}}({\cal I})$ 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( {\cal I} \right)$ be the least size of an infinite MAD family restricted to ${\cal I}$. We prove that If $max${a,cov${}_{}^{\rm{*}}({\cal I})\}$ then a$\left( {\cal I} \right) = {\omega _1}$, and consequently, if ${\cal I}$ is tall and $\le {\omega _2}$ then a$\left( {\cal I} \right) = max$ {a,cov${}_{}^{\rm{*}}({\cal I})\}$. We use these results to prove that if c$\le {\omega _2}$ then o$= \overline o$ and that as$= max${a,non$({\cal M})\}$. 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.

A. We prove that after adding a Silver real no ultrafilter from the ground model can be extended to a P-point, and this remains to be the case in any further extension which has the Sacks property. We conclude that there are no P-points in the Silver model. In particular, it is possible to construct a model without P-points by iterating Borel partial orders. This answers a question of Michael Hrušák. We also show that the same argument can be used for the side-by-side product of Silver forcing. This provides a model without P-points with the continuum arbitrary large, answering a question of Wolfgang Wohofsky.2010 Mathematics Subject Classification. Primary: 03E35.

No abstract

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$ .