The generic ultrafilter added by ${(\FIN \times \FIN)}^{+}$

Abstract

We investigate the Tukey type of the generic ultrafilter added by the quotient $\mathcal{P}(\omega \times \omega) / (\mathrm{FIN} \times \mathrm{FIN})$. We prove that this ultrafilter is not basically generated and yet does not have the maximal Tukey type among directed partial orders of size continuum. Moreover, any Tukey reduction from this ultrafilter to any other ultrafilter is witnessed by a Baire class one map.