Source author record

Andrzej Starosolski

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
1topics
1close collaborators

Published work

6 publications

preprint2020arXiv

The Rudin-Kisler ordering of P-points under b=c\mathfrak{b} = \mathfrak{c}

M. E. Rudin proved under CH that for each P-point there exists another P-point strictly RK-greater (M. E. Rudin, Partial orders on the types of βNβ\mathbb{N} , Trans. Amer. Math. Soc., 155 (1971), 353-362). Assuming p=c\mathfrak{p}=\mathfrak{c} A. Blass showed the same, and proved that each RK-increasing ωω-sequence of P-points is upper bounded by a P-point, and that there is an order embedding of the real line into the class of P-points with respect to the RK-(pre)ordering (A. Blass, Rudin - Keisler ordering on P-points, Trans. Amer. Math. Soc., 179 (1973), 145-166). In the present paper the results cited above are proved under a (weaker) assumption b=c\mathfrak{b}=\mathfrak{c}. A. Blass also asked in (A. Blass, Rudin - Keisler ordering on P-points, Trans. Amer. Math. Soc., 179 (1973), 145-166) what ordinals can be embedded in the set of P-points and pointed out, that such an ordinal may not be greater then c+\mathfrak{c}^+. In the present paper the question is answered showing (under b=c\mathfrak{b} = \mathfrak{c}) that there is an order embedding of c+\mathfrak{c}^+ into P-points.

preprint2012arXiv

Cascades, Order and Ultrafilters

We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. Using that relation we prove (ZFC) that the class of strict JωωJ_{ω^ω}-ultrafilters, introduced by J. E. Baumgartner in \textit{Ultrafilters on ωω}, is empty. We translate the result to the language of <∞<_\infty-sequences under an ultrafilter, investigated by C. Laflamme in \textit{A few special ordinal ultrafilters}, to show that if there is an arbitrary long finite <∞<_\infty-sequence under uu than uu is at least strict Jωω+1J_{ω^{ω+1}}- ultrafilter.

preprint2012arXiv

Rudin-Kisler ordering on the P-hierarchy

M. E. Rudin in "Partial orders on the types of βNβ{N}", (Trans. Amer. Math. Soc., 155, 1971, 353-362) proved (under CH) that for each P-point uu there is a P-point vv such that v>RKuv>_{RK}u. A. Blass in "Rudin - Kisler ordering on P-points" (Trans. Amer. Math. Soc. 179, 1973, 145-166) improved that theorem assuming MA in the place of CH, in that paper he also proved that under MA each RK-increasing sequence of P-points is upper bounded by a P-point. We improve Blass results simultaneously in 3 directions - we prove it for each class of index ≥2\geq 2 of P-hierarchy (P-points coincidence with a class P2P_2 of P-hierarchy), assuming b=c\mathfrak{b}=\mathfrak{c} in the place of MA and we show that there are at least b\mathfrak{b} many Rudin-Kisler incomparable such upper bounds.

preprint2012arXiv

Thin ultrafilters, P-hierarchu and MArtin Axiom

Under MA we prove that for the ideal I\cal I of thin sets on ωω and for any ordinal γ≤ω1γ\leq ω_1 there is an I{\cal I}-ultrafilter (in the sense of Baumgartner), which belongs to the class Pγ{\cal P}_γ 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šková, 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 ωω there is an I{\cal I}-ultrafilter, however the ideal of thin sets is not P-ideal.

preprint2011arXiv

How high can Baumgartner's {\cal I}-ultrafilters lie in the P-hierarchy?

Under CH we prove that for any tall ideal I\cal I on ωω and for any ordinal γ≤ω1γ\leq ω_1 there is an I{\cal I}-ultrafilter (in the sense of Baumgartner), which belongs to the class Pγ{\cal P}_γ 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šková, which states that there are I{\cal I}-ultrafilters which are not P-points.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.