How high can Baumgartner's {\cal I}-ultrafilters lie in the P-hierarchy?
Logic
2011-11-22 v4
Abstract
Under CH we prove that for any tall ideal on and for any ordinal there is an -ultrafilter (in the sense of Baumgartner), which belongs to the class of P-hierarchy of ultrafilters. Since the class of ultrafilters coincides with a class of P-points, out result generalize theorem of Fla\v{s}kov\'a, which states that there are -ultrafilters which are not P-points.
Cite
@article{arxiv.1108.1818,
title = {How high can Baumgartner's {\cal I}-ultrafilters lie in the P-hierarchy?},
author = {Michał Machura and Andrzej Starosolski},
journal= {arXiv preprint arXiv:1108.1818},
year = {2011}
}
Comments
17 pages, rewritted