pith. sign in

arxiv: 1210.7387 · v1 · pith:B7XNYJBEnew · submitted 2012-10-28 · 🧮 math.LO

The generic ultrafilter added by {(FIN times FIN)}⁺

classification 🧮 math.LO
keywords ultrafiltertimestukeyaddedgenericmathrmomegatype
0
0 comments X
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.