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
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
\(\mathcal{I}\)-ultrafilters
0 references
P-hierarchy
0 references
CH
0 references
P-points
0 references
monotonic sequential contour
0 references