How high can Baumgartner's \(\mathcal{I}\)-ultrafilters lie in the P-hierarchy? (Q494645)

From MaRDI portal
scientific article
Language Label Description Also known as
English
How high can Baumgartner's \(\mathcal{I}\)-ultrafilters lie in the P-hierarchy?
scientific article

    Statements

    How high can Baumgartner's \(\mathcal{I}\)-ultrafilters lie in the P-hierarchy? (English)
    0 references
    0 references
    0 references
    1 September 2015
    0 references
    It is shown that if the continuum hypothesis is assumed, then for any tall P-ideal \(I\) on \(\omega\) containing all singletons, and any ordinal \(\gamma\) with \(2 \leq \gamma \leq \omega_1\), there are two Rudin-Keisler incomparable ultrafilters \(U_1\) and \(U_2\) on \(\omega\) such that for \(j = 1, 2\), (a) \(U_j\) is an \(I\)-ultrafilter (meaning that for each function \(f : \omega \rightarrow \omega\), there is \(A \in U_j\) with \(f [A]\) in \(I\)), and (b) \(U_j\) belongs to the class \({\mathcal P}_\gamma\) in the P-hierarchy of ultrafilters.
    0 references
    0 references
    \(\mathcal{I}\)-ultrafilters
    0 references
    P-hierarchy
    0 references
    CH
    0 references
    P-points
    0 references
    monotonic sequential contour
    0 references

    Identifiers