Showing 1–7 of 7 results for author: Starosolski, A

Continuous extension of maps between sequential cascades

Authors: Szymon Dolecki, Andrzej Starosolski

Abstract: The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for iterated contours of sequential cascades. A related problem of continuous extension of maps between maximal elements of sequential cascades to full subcascades is so… ▽ More The contour of a family of filters along a filter is a set-theoretic lower limit. Topologicity and regularity of convergences can be characterized with the aid of the contour operation. Contour inversion is studied, in particular, for iterated contours of sequential cascades. A related problem of continuous extension of maps between maximal elements of sequential cascades to full subcascades is solved in full generality. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Comments: 20 pages

MSC Class: 54C20; 03E05; 54D55

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

Authors: Andrzej Starosolski

Abstract: 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 $β\mathbb{N}$ , Trans. Amer. Math. Soc., 155 (1971), 353-362). Assuming $\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… ▽ More 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 $β\mathbb{N}$ , Trans. Amer. Math. Soc., 155 (1971), 353-362). Assuming $\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 $\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 $\mathfrak{c}^+$. In the present paper the question is answered showing (under $\mathfrak{b} = \mathfrak{c}$) that there is an order embedding of $\mathfrak{c}^+$ into P-points. △ Less

Submitted 24 March, 2020; v1 submitted 10 March, 2018; originally announced March 2018.

Comments: 19 pages, beginning of the proof of Theorem 3.12 is a quotation of the begining of the proof of Theorem 8 from the papper by Blass mentioned in the abstract

MSC Class: 03E05; 03E17

Rudin-Kisler ordering on the P-hierarchy

Authors: Andrzej Starosolski

Abstract: M. E. Rudin in "Partial orders on the types of $β{N}$", (Trans. Amer. Math. Soc., 155, 1971, 353-362) proved (under CH) that for each P-point $u$ there is a P-point $v$ such that $v>_{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-increasin… ▽ More M. E. Rudin in "Partial orders on the types of $β{N}$", (Trans. Amer. Math. Soc., 155, 1971, 353-362) proved (under CH) that for each P-point $u$ there is a P-point $v$ such that $v>_{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 $\geq 2$ of P-hierarchy (P-points coincidence with a class $P_2$ of P-hierarchy), assuming $\mathfrak{b}=\mathfrak{c}$ in the place of MA and we show that there are at least $\mathfrak{b}$ many Rudin-Kisler incomparable such upper bounds. △ Less

Submitted 18 April, 2012; originally announced April 2012.

Comments: 11 pages

MSC Class: 03E17; 03E05

Ordinal ultrafilters versus P-hierarchy

Authors: Andrzej Starosolski

Abstract: An earlier paper, entitled "P-hierarchy on $βω$", investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. This study is continued in the present paper and focuses on the aspects of characterization of classes of finite index, existence, generic existence and the Rudin-Keisler-order. An earlier paper, entitled "P-hierarchy on $βω$", investigated the relations between ordinal ultrafilters and the so-called P-hierarchy. This study is continued in the present paper and focuses on the aspects of characterization of classes of finite index, existence, generic existence and the Rudin-Keisler-order. △ Less

Submitted 14 November, 2012; v1 submitted 10 January, 2012; originally announced January 2012.

Comments: 19 pages

MSC Class: 03E05; 03E10

Cascades, Order and Ultrafilters

Authors: Andrzej Starosolski

Abstract: 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_{ω^ω}$-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 or… ▽ More 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_{ω^ω}$-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 $u$ than $u$ is at least strict $J_{ω^{ω+1}}$- ultrafilter. △ Less

Submitted 10 January, 2012; originally announced January 2012.

Comments: 12 pages

MSC Class: 03E04; 03E05

Thin ultrafilters, P-hierarchu and MArtin Axiom

Authors: Michał Machura, Andrzej Starosolski

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

Submitted 9 January, 2012; originally announced January 2012.

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

MSC Class: 03E05; 03E50

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

Authors: Michał Machura, Andrzej Starosolski

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

Submitted 21 November, 2011; v1 submitted 8 August, 2011; originally announced August 2011.

Comments: 17 pages, rewritted

MSC Class: 03E05; 03E50