The generic ultrafilter added by {(FIN times FIN)}⁺
classification
🧮 math.LO
keywords
ultrafiltertimestukeyaddedgenericmathrmomegatype
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.