# Arturo Martinez

Areas of Interest
•  15
##### Canjar Filters with Osvaldo Guzmán and Michael Hrušák Notre Dame Journal of Formal Logic 58 (1): 79-95. 2017.
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” m…Read more
•  1