Thin ultrafilters, P-hierarchu and MArtin Axiom

Abstract: Under MA we prove that for the ideal

c a l I

of thin sets on

o m e g a

and for any ordinal

g a m m a l e q o m e g a_{1}

there is an

c a l I

-ultrafilter (in the sense of Baumgartner), which belongs to the class

{c a l P}_{g a m m a}

of P-hierarchy of ultrafilters. Since the class of

{c a l P}_{2}

ultrafilters coincides with a class of P-points, out result generalize theorem of Flav{s}kov'a, which states that there are

c a l I

-ultrafilters which are not P-points. It is also related to theorem which states that under CH for any tall P-ideal

c a l I

on

o m e g a

there is an

c a l I

-ultrafilter, however the ideal of thin sets is not P-ideal.

This page was built for publication: Thin ultrafilters, P-hierarchu and MArtin Axiom