English

Thin ultrafilters, P-hierarchu and MArtin Axiom

Logic 2012-01-10 v1

Abstract

Under MA we prove that for the ideal I\cal I of thin sets on ω\omega and for any ordinal γω1\gamma \leq \omega_1 there is an I{\cal I}-ultrafilter (in the sense of Baumgartner), which belongs to the class Pγ{\cal P}_{\gamma} of P-hierarchy of ultrafilters. Since the class of P2{\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 I{\cal I}-ultrafilters which are not P-points. It is also related to theorem which states that under CH for any tall P-ideal I\cal I on ω\omega there is an I{\cal I}-ultrafilter, however the ideal of thin sets is not P-ideal.

Keywords

Cite

@article{arxiv.1201.1725,
  title  = {Thin ultrafilters, P-hierarchu and MArtin Axiom},
  author = {Michał Machura and Andrzej Starosolski},
  journal= {arXiv preprint arXiv:1201.1725},
  year   = {2012}
}

Comments

12 pages. arXiv admin note: substantial text overlap with arXiv:1108.1818