![Page 1: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/1.jpg)
Existance of ordinal ultrafilters and of P-hierarchy.
Andrzej Starosolski
Institute of Mathematics, Silesian University of Technology
Winter School in abstract Analysis section Set Theory, Hejnice2011
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 2: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/2.jpg)
Ordinal ultrafilters (J. E. Baumgartner 1995) An ultrafilter u isJα-ultrafilter if for each function f : ω → ω1 there is U ∈ u suchthat ot(f (U)) < α. Proper Jα-ultrafilters are such Jα-ultrafiltersthat are not Jβ-ultrafilters for any β < α. The class of proper Jαultrafilters we denote by J∗α.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 3: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/3.jpg)
If (un)n<ω is a sequence of filters on ω and v is a filter on ω thenthe contour on the sequence (un) with respect to v is:∫
vun =
⋃V∈v
⋂n∈V
un
(Dolecki, Mynard 2002) Monotone sequential contours of rank 1are exactly Frechet filters on infinite subsets of ω; u is a monotonesequential contours of rank α if u =
∫Fr un, where (un)n<ω is a
discrete sequence of monotone sequential contours such that:r(un) ≤ r(un+1) and limn<ω(r(un) + 1) = α.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 4: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/4.jpg)
If (un)n<ω is a sequence of filters on ω and v is a filter on ω thenthe contour on the sequence (un) with respect to v is:∫
vun =
⋃V∈v
⋂n∈V
un
(Dolecki, Mynard 2002) Monotone sequential contours of rank 1are exactly Frechet filters on infinite subsets of ω; u is a monotonesequential contours of rank α if u =
∫Fr un, where (un)n<ω is a
discrete sequence of monotone sequential contours such that:r(un) ≤ r(un+1) and limn<ω(r(un) + 1) = α.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 5: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/5.jpg)
Define classes Pα of P-hierarchy for α < ω1 as follows: u ∈ Pα ifthere is no monotone sequential contour cα of rank α such thatcα ⊂ u, and for each β < α there exists a monotone sequentialcontour cβ of rank β such that cβ ⊂ u.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 6: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/6.jpg)
Theorem (Baumgartner 1995)
If P-points exist, then for each countable ordinal α the class ofproper Jωα+1-ultrafilters is nonempty.
Theorem
If P-points exist, then for each countable ordinal α the class Pα+1
is nonempty.
Theorem
If P-points exist, then Pα+1 ∩ J∗ωα+1 6= ∅ for each countable α.
Theorem (MAσ−center )
Pα+1 6= J∗ωα+1 for 1 < α < ω1
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 7: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/7.jpg)
Theorem (Baumgartner 1995)
If P-points exist, then for each countable ordinal α the class ofproper Jωα+1-ultrafilters is nonempty.
Theorem
If P-points exist, then for each countable ordinal α the class Pα+1
is nonempty.
Theorem
If P-points exist, then Pα+1 ∩ J∗ωα+1 6= ∅ for each countable α.
Theorem (MAσ−center )
Pα+1 6= J∗ωα+1 for 1 < α < ω1
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 8: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/8.jpg)
Theorem (Baumgartner 1995)
If P-points exist, then for each countable ordinal α the class ofproper Jωα+1-ultrafilters is nonempty.
Theorem
If P-points exist, then for each countable ordinal α the class Pα+1
is nonempty.
Theorem
If P-points exist, then Pα+1 ∩ J∗ωα+1 6= ∅ for each countable α.
Theorem (MAσ−center )
Pα+1 6= J∗ωα+1 for 1 < α < ω1
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 9: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/9.jpg)
Theorem (Baumgartner 1995)
If P-points exist, then for each countable ordinal α the class ofproper Jωα+1-ultrafilters is nonempty.
Theorem
If P-points exist, then for each countable ordinal α the class Pα+1
is nonempty.
Theorem
If P-points exist, then Pα+1 ∩ J∗ωα+1 6= ∅ for each countable α.
Theorem (MAσ−center )
Pα+1 6= J∗ωα+1 for 1 < α < ω1
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 10: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/10.jpg)
Theorem (Baumgartner 1995)
Let 1 < α < ω1 and assume u is a proper Jωα+2-ultrafilter. Thenthere is a P-point ultrafilter v such that v ≤RK u.
Theorem
Let 1 < α < ω1 is an ordinal and u ∈ Pα+1. Then there is aP-point ultrafilter v such that v ≤RK u.
Theorem (Laflamme 1996) (MAσ−centr)
There is proper Jωω+1-ultrafilter all of whoseRK-predecessors are proper Jωω+1-ultrafilters.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 11: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/11.jpg)
Theorem (Baumgartner 1995)
Let 1 < α < ω1 and assume u is a proper Jωα+2-ultrafilter. Thenthere is a P-point ultrafilter v such that v ≤RK u.
Theorem
Let 1 < α < ω1 is an ordinal and u ∈ Pα+1. Then there is aP-point ultrafilter v such that v ≤RK u.
Theorem (Laflamme 1996) (MAσ−centr)
There is proper Jωω+1-ultrafilter all of whoseRK-predecessors are proper Jωω+1-ultrafilters.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 12: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/12.jpg)
Theorem (Baumgartner 1995)
Let 1 < α < ω1 and assume u is a proper Jωα+2-ultrafilter. Thenthere is a P-point ultrafilter v such that v ≤RK u.
Theorem
Let 1 < α < ω1 is an ordinal and u ∈ Pα+1. Then there is aP-point ultrafilter v such that v ≤RK u.
Theorem (Laflamme 1996) (MAσ−centr)
There is proper Jωω+1-ultrafilter all of whoseRK-predecessors are proper Jωω+1-ultrafilters.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 13: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/13.jpg)
Theorem (MAσ−centr)
For each countable ordinal α the class Pα+ω is nonempty.
Theorem (CH)
For each countable ordinal α the class Pα is nonempty.
Theorem
Let α be limit ordinal and let (vn) be an increasing sequence ofmonotone sequential contours of rank less then α then
⋃n<ω vn do
not contain any monotone sequential contour of rank α.
Theorem (ZFC)
The class of proper Jωω -ultrafilters is empty.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 14: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/14.jpg)
Theorem (MAσ−centr)
For each countable ordinal α the class Pα+ω is nonempty.
Theorem (CH)
For each countable ordinal α the class Pα is nonempty.
Theorem
Let α be limit ordinal and let (vn) be an increasing sequence ofmonotone sequential contours of rank less then α then
⋃n<ω vn do
not contain any monotone sequential contour of rank α.
Theorem (ZFC)
The class of proper Jωω -ultrafilters is empty.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 15: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/15.jpg)
Theorem (MAσ−centr)
For each countable ordinal α the class Pα+ω is nonempty.
Theorem (CH)
For each countable ordinal α the class Pα is nonempty.
Theorem
Let α be limit ordinal and let (vn) be an increasing sequence ofmonotone sequential contours of rank less then α then
⋃n<ω vn do
not contain any monotone sequential contour of rank α.
Theorem (ZFC)
The class of proper Jωω -ultrafilters is empty.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 16: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/16.jpg)
Theorem (MAσ−centr)
For each countable ordinal α the class Pα+ω is nonempty.
Theorem (CH)
For each countable ordinal α the class Pα is nonempty.
Theorem
Let α be limit ordinal and let (vn) be an increasing sequence ofmonotone sequential contours of rank less then α then
⋃n<ω vn do
not contain any monotone sequential contour of rank α.
Theorem (ZFC)
The class of proper Jωω -ultrafilters is empty.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 17: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/17.jpg)
The cascade is a tree V , ordered by ”v”, without infinitebranches and with a least element ∅V . A cascade is sequential iffor each non-maximal element of V (v ∈ V \maxV ) the set v + ofimmediate successors of v is countably infinite. If v ∈ V \maxV ,then the set v + may be endowed with an order of the type ω, andthen by (vn)n∈ω we denote the sequence of elements of v +.The rank of v ∈ V (r(v)) is defined inductively: r(v) = 0 ifv ∈ maxV , and otherwise r(v) = sup {r(vn) + 1 : n < ω}. Therank r(V ) of the cascade V is, by definition, the rank of ∅V . If itis possible to order all sets v + (for v ∈ V \maxV ) so that foreach v ∈ V \maxV the sequence (r(vn)n<ω) is non-decreasing,then the cascade V is monotone, and we fix such an order on Vwithout indication.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 18: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/18.jpg)
The cascade is a tree V , ordered by ”v”, without infinitebranches and with a least element ∅V . A cascade is sequential iffor each non-maximal element of V (v ∈ V \maxV ) the set v + ofimmediate successors of v is countably infinite. If v ∈ V \maxV ,then the set v + may be endowed with an order of the type ω, andthen by (vn)n∈ω we denote the sequence of elements of v +.The rank of v ∈ V (r(v)) is defined inductively: r(v) = 0 ifv ∈ maxV , and otherwise r(v) = sup {r(vn) + 1 : n < ω}. Therank r(V ) of the cascade V is, by definition, the rank of ∅V . If itis possible to order all sets v + (for v ∈ V \maxV ) so that foreach v ∈ V \maxV the sequence (r(vn)n<ω) is non-decreasing,then the cascade V is monotone, and we fix such an order on Vwithout indication.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 19: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/19.jpg)
The cascade is a tree V , ordered by ”v”, without infinitebranches and with a least element ∅V . A cascade is sequential iffor each non-maximal element of V (v ∈ V \maxV ) the set v + ofimmediate successors of v is countably infinite. If v ∈ V \maxV ,then the set v + may be endowed with an order of the type ω, andthen by (vn)n∈ω we denote the sequence of elements of v +.The rank of v ∈ V (r(v)) is defined inductively: r(v) = 0 ifv ∈ maxV , and otherwise r(v) = sup {r(vn) + 1 : n < ω}. Therank r(V ) of the cascade V is, by definition, the rank of ∅V . If itis possible to order all sets v + (for v ∈ V \maxV ) so that foreach v ∈ V \maxV the sequence (r(vn)n<ω) is non-decreasing,then the cascade V is monotone, and we fix such an order on Vwithout indication.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 20: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/20.jpg)
The cascade is a tree V , ordered by ”v”, without infinitebranches and with a least element ∅V . A cascade is sequential iffor each non-maximal element of V (v ∈ V \maxV ) the set v + ofimmediate successors of v is countably infinite. If v ∈ V \maxV ,then the set v + may be endowed with an order of the type ω, andthen by (vn)n∈ω we denote the sequence of elements of v +.The rank of v ∈ V (r(v)) is defined inductively: r(v) = 0 ifv ∈ maxV , and otherwise r(v) = sup {r(vn) + 1 : n < ω}. Therank r(V ) of the cascade V is, by definition, the rank of ∅V . If itis possible to order all sets v + (for v ∈ V \maxV ) so that foreach v ∈ V \maxV the sequence (r(vn)n<ω) is non-decreasing,then the cascade V is monotone, and we fix such an order on Vwithout indication.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 21: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/21.jpg)
The cascade is a tree V , ordered by ”v”, without infinitebranches and with a least element ∅V . A cascade is sequential iffor each non-maximal element of V (v ∈ V \maxV ) the set v + ofimmediate successors of v is countably infinite. If v ∈ V \maxV ,then the set v + may be endowed with an order of the type ω, andthen by (vn)n∈ω we denote the sequence of elements of v +.The rank of v ∈ V (r(v)) is defined inductively: r(v) = 0 ifv ∈ maxV , and otherwise r(v) = sup {r(vn) + 1 : n < ω}. Therank r(V ) of the cascade V is, by definition, the rank of ∅V . If itis possible to order all sets v + (for v ∈ V \maxV ) so that foreach v ∈ V \maxV the sequence (r(vn)n<ω) is non-decreasing,then the cascade V is monotone, and we fix such an order on Vwithout indication.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 22: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/22.jpg)
We introduce lexicographic order <lex on V in the following way:v ′ <lex v ′′ if v ′ A v ′′ or if there exist v , v ′ v v ′ and v ′′ v v ′′ suchthat v ′ ∈ v + and v ′′ ∈ v + and v ′ = vn, v ′′ = vm and n < m. Alsowe label elements of a cascade V by sequences of naturals oflength r(V ) or less, by the function which preserves thelexicographic order, vl is a resulting name for an element of V ,where l is the mentioned sequence (i.e. vl_n = (vl)n ∈ v +);denote also Vl = {v ∈ V : v w vl} and by Lα,V we understand{l ∈ ω<ω : rV (vl) = α}.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 23: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/23.jpg)
We introduce lexicographic order <lex on V in the following way:v ′ <lex v ′′ if v ′ A v ′′ or if there exist v , v ′ v v ′ and v ′′ v v ′′ suchthat v ′ ∈ v + and v ′′ ∈ v + and v ′ = vn, v ′′ = vm and n < m. Alsowe label elements of a cascade V by sequences of naturals oflength r(V ) or less, by the function which preserves thelexicographic order, vl is a resulting name for an element of V ,where l is the mentioned sequence (i.e. vl_n = (vl)n ∈ v +);denote also Vl = {v ∈ V : v w vl} and by Lα,V we understand{l ∈ ω<ω : rV (vl) = α}.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 24: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/24.jpg)
We introduce lexicographic order <lex on V in the following way:v ′ <lex v ′′ if v ′ A v ′′ or if there exist v , v ′ v v ′ and v ′′ v v ′′ suchthat v ′ ∈ v + and v ′′ ∈ v + and v ′ = vn, v ′′ = vm and n < m. Alsowe label elements of a cascade V by sequences of naturals oflength r(V ) or less, by the function which preserves thelexicographic order, vl is a resulting name for an element of V ,where l is the mentioned sequence (i.e. vl_n = (vl)n ∈ v +);denote also Vl = {v ∈ V : v w vl} and by Lα,V we understand{l ∈ ω<ω : rV (vl) = α}.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 25: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/25.jpg)
We introduce lexicographic order <lex on V in the following way:v ′ <lex v ′′ if v ′ A v ′′ or if there exist v , v ′ v v ′ and v ′′ v v ′′ suchthat v ′ ∈ v + and v ′′ ∈ v + and v ′ = vn, v ′′ = vm and n < m. Alsowe label elements of a cascade V by sequences of naturals oflength r(V ) or less, by the function which preserves thelexicographic order, vl is a resulting name for an element of V ,where l is the mentioned sequence (i.e. vl_n = (vl)n ∈ v +);denote also Vl = {v ∈ V : v w vl} and by Lα,V we understand{l ∈ ω<ω : rV (vl) = α}.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 26: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/26.jpg)
Let W be a cascade, and let {Vw : w ∈ maxW } be a set ofpairwise disjoint cascades such that Vw ∩W = ∅ for allw ∈ maxW . Then, the confluence of cascades Vw with respectto the cascade W (we write W " Vw ) is defined as a cascadeconstructed by the identification of w ∈ maxW with ∅Vw andaccording to the following rules: ∅W = ∅W"Vw ; ifw ∈W \maxW , then w +W"Vw = w +W ; if w ∈ Vw0 (for acertain w0 ∈ maxW ), then w +W"Vw = w +Vw0 ; in each case wealso assume that the order on the set of successors remainsunchanged.For the sequential cascade of rank 1, contour of V is Frechetfilter on maxV ;
∫(V0 " Vn) =
∫∫V0
∫Vn.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 27: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/27.jpg)
Let W be a cascade, and let {Vw : w ∈ maxW } be a set ofpairwise disjoint cascades such that Vw ∩W = ∅ for allw ∈ maxW . Then, the confluence of cascades Vw with respectto the cascade W (we write W " Vw ) is defined as a cascadeconstructed by the identification of w ∈ maxW with ∅Vw andaccording to the following rules: ∅W = ∅W"Vw ; ifw ∈W \maxW , then w +W"Vw = w +W ; if w ∈ Vw0 (for acertain w0 ∈ maxW ), then w +W"Vw = w +Vw0 ; in each case wealso assume that the order on the set of successors remainsunchanged.For the sequential cascade of rank 1, contour of V is Frechetfilter on maxV ;
∫(V0 " Vn) =
∫∫V0
∫Vn.
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 28: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/28.jpg)
For a monotone sequential cascade V by fV we denote anlexicographic order respecting function maxV → ω1.Let V and W be monotone sequential cascades such thatmaxV ⊃ maxW . We say that W increases the order of V (wewrite) W V V if ot (fW (U)) ≥ indec (ot (fV (U))) for eachU ⊂ maxW , where indec (α) is the biggest indecomposableordinal less then, or equal to α;
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 29: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/29.jpg)
For a monotone sequential cascade V by fV we denote anlexicographic order respecting function maxV → ω1.Let V and W be monotone sequential cascades such thatmaxV ⊃ maxW . We say that W increases the order of V (wewrite) W V V if ot (fW (U)) ≥ indec (ot (fV (U))) for eachU ⊂ maxW , where indec (α) is the biggest indecomposableordinal less then, or equal to α;
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 30: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/30.jpg)
Let u be an ultrafilter and let V , W be monotone sequentialcascades such that
∫V ⊂ u and
∫W ⊂ u. Then we say that rank
α in cascade V agree with rank β in cascade W with respectto the ultrafilter u if for any choice of Vp,s ∈
∫Vp and
Wp,s ∈∫
Ws there is:⋃
(p,s)∈Lα,V×Lβ,W (Vp,s ∩ Wp,s) ∈ u; thisrelation is denoted by αV EuβW .
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 31: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/31.jpg)
Theorem
Let u be an ultrafilter and let V , W be monotone sequentialcascades such that
∫V ⊂ u and
∫W ⊂ u, then 1V Eu1W .
Theorem
Let u be an ultrafilter and let V , W be monotone sequentialcascades of finite ranks such that
∫V ⊂ u and
∫W ⊂ u. Then
nV EumW implies the existence of a monotone sequential cascadeT of rank max {r(V ), r(W )} ≤ r(T ) ≤ r(V ) + r(W ) and suchthat
∫T ⊂ u and T V V and T V W .
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 32: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/32.jpg)
Theorem
Let u be an ultrafilter and let V , W be monotone sequentialcascades such that
∫V ⊂ u and
∫W ⊂ u, then 1V Eu1W .
Theorem
Let u be an ultrafilter and let V , W be monotone sequentialcascades of finite ranks such that
∫V ⊂ u and
∫W ⊂ u. Then
nV EumW implies the existence of a monotone sequential cascadeT of rank max {r(V ), r(W )} ≤ r(T ) ≤ r(V ) + r(W ) and suchthat
∫T ⊂ u and T V V and T V W .
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.
![Page 33: Existance of ordinal ultra lters and of P-hierarchy. · Andrzej Starosolski Existance of ordinal ultra lters and of P-hierarchy. The cascade is a tree V, ordered by "v", without in](https://reader030.vdocuments.pub/reader030/viewer/2022021710/5c75c56909d3f2b0618b7ac8/html5/thumbnails/33.jpg)
J. E. Baumgartner, Ultrafilters on ω, J. Symb. Log. 60, 2 (1995)624-639.S. Dolecki, F. Mynard, Cascades and multifilters, Topology Appl.,104 (2002), 53-65.C. Laflamme, A few special ordinal ultrafilters, J. Symb. Log. 61,3 (1996), 920-927.A. Starosolski, P-hierarchy on βω, J. Symb. Log. 73, 4 (2008),1202-1214.A. Starosolski, Ordinal ultrafilters versus P-hierarchy, to appearA. Starosolski, Cascades, order and ultrafilters, to appear
Andrzej Starosolski Existance of ordinal ultrafilters and of P-hierarchy.