pith. sign in

arxiv: 1201.1725 · v1 · pith:STSO7AZYnew · submitted 2012-01-09 · 🧮 math.LO

Thin ultrafilters, P-hierarchu and MArtin Axiom

classification 🧮 math.LO
keywords ultrafiltersclassomegatherethingammaidealp-ideal
0
0 comments X
read the original abstract

Under MA we prove that for the ideal $\cal I$ of thin sets on $\omega$ and for any ordinal $\gamma \leq \omega_1$ there is an ${\cal I}$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${\cal P}_{\gamma}$ of P-hierarchy of ultrafilters. Since the class of ${\cal P}_2$ ultrafilters coincides with a class of P-points, out result generalize theorem of Fla\v{s}kov\'a, which states that there are ${\cal I}$-ultrafilters which are not P-points. It is also related to theorem which states that under CH for any tall P-ideal $\cal I$ on $\omega$ there is an ${\cal I}$-ultrafilter, however the ideal of thin sets is not P-ideal.

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.