How high can Baumgartner's I-ultrafilters lie in the P-hierarchy?

DOI10.1007/S00153-015-0427-XMaRDI QIDQ494645zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michał Machura, Andrzej Starosolski

Publication date 1 September 2015

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1108.1818

zbMATH Keywords

\(\mathcal{I}\)-ultrafiltersCHmonotonic sequential contourP-hierarchyP-points

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Continuum hypothesis and Martin's axiom (03E50)

Abstract: Under CH we prove that for any tall ideal $calI$ on $omega$ and for any ordinal $gammaleqomeg{a}_1$ there is an $calI$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${calP}_{gamma}$ of P-hierarchy of ultrafilters. Since the class of ${calP}_2$ ultrafilters coincides with a class of P-points, out result generalize theorem of Flav{s}kov'a, which states that there are $calI$-ultrafilters which are not P-points.

Review text

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.

Recommendations

• Thin ultrafilters and the P-hierarchy of ultrafilters
• P-hierarchy on βω
• Ordinal ultrafilters versus P-hierarchy
• Characterizing existence of certain ultrafilters
• Ultrafilters on ω

Cites work

• \({\mathcal I}\)-ultrafilters and summable ideals
• A few special ordinal ultrafilters
• A note on \(\mathcal{J}\)-ultrafilters and \(P\)-points
• Between P-points and nowhere dense ultrafilters
• Cascades and multifilters
• Cascades, order, and ultrafilters
• Emploi des filtres sur N dans l'étude descriptive des fonctions
• Extension of multisequences and countably uniradial classes of topologies.
• Fractalness of supercontours
• Free Boolean algebras and nowhere dense ultrafilters
• Gefilterte Summation von Filtern und iterierte Grenzprozesse. I
• Gefilterte Summation von Filtern und iterierte Grenzprozesse. II
• scientific article; zbMATH DE number 5119977 (Why is no real title available?)
• scientific article; zbMATH DE number 3484849 (Why is no real title available?)
• scientific article; zbMATH DE number 1136112 (Why is no real title available?)
• scientific article; zbMATH DE number 1548938 (Why is no real title available?)
• Multisequences
• Ordinal ultrafilters versus P-hierarchy
• P-hierarchy on βω
• Sums of ultrafilters
• The relation of rapid ultrafilters and Q-points to van der Waerden ideal
• Ultrafilters on ω

Cited in

(3)

• Thin ultrafilters and the P-hierarchy of ultrafilters
• Continuous extension of maps between sequential cascades
• P-hierarchy on βω

This page was built for publication: How high can Baumgartner's \(\mathcal{I}\)-ultrafilters lie in the P-hierarchy?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494645)