Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National...
Transcript of Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National...
![Page 1: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/1.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Borel ideals and topological Ramsey spaces
Sonia Navarro Flores
National University of Mexico
AMS Joint Meeting, DenverJanuary 16, 2020
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 2: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/2.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Summary
1 Introduction
2 TRS ideals
3 Halpern Läuchli ideals
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 3: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/3.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Introduction
Topological Ramsey space theory is concerned with infinitedimensional colorings.The prototypical example of a TRS is the Ellentuck space.Ellentuck space with the almost inclusion order is forcing equivalentto P(ω)/F in and forces a Ramsey ultrafilter.Todorcevic proved using large cardinals that Ramsey ultrafilters aregeneric over L(R) for the poset P(ω)/F in.Baumgartner and Laver showed that Ramsey ultrafilters are preservedby both side-by-side and iterated Sacks forcing.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 4: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/4.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Introduction
Topological Ramsey space theory is concerned with infinitedimensional colorings.The prototypical example of a TRS is the Ellentuck space.Ellentuck space with the almost inclusion order is forcing equivalentto P(ω)/F in and forces a Ramsey ultrafilter.Todorcevic proved using large cardinals that Ramsey ultrafilters aregeneric over L(R) for the poset P(ω)/F in.Baumgartner and Laver showed that Ramsey ultrafilters are preservedby both side-by-side and iterated Sacks forcing.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 5: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/5.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Introduction
Topological Ramsey space theory is concerned with infinitedimensional colorings.The prototypical example of a TRS is the Ellentuck space.Ellentuck space with the almost inclusion order is forcing equivalentto P(ω)/F in and forces a Ramsey ultrafilter.Todorcevic proved using large cardinals that Ramsey ultrafilters aregeneric over L(R) for the poset P(ω)/F in.Baumgartner and Laver showed that Ramsey ultrafilters are preservedby both side-by-side and iterated Sacks forcing.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 6: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/6.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Introduction
Topological Ramsey space theory is concerned with infinitedimensional colorings.The prototypical example of a TRS is the Ellentuck space.Ellentuck space with the almost inclusion order is forcing equivalentto P(ω)/F in and forces a Ramsey ultrafilter.Todorcevic proved using large cardinals that Ramsey ultrafilters aregeneric over L(R) for the poset P(ω)/F in.Baumgartner and Laver showed that Ramsey ultrafilters are preservedby both side-by-side and iterated Sacks forcing.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 7: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/7.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Introduction
Topological Ramsey space theory is concerned with infinitedimensional colorings.The prototypical example of a TRS is the Ellentuck space.Ellentuck space with the almost inclusion order is forcing equivalentto P(ω)/F in and forces a Ramsey ultrafilter.Todorcevic proved using large cardinals that Ramsey ultrafilters aregeneric over L(R) for the poset P(ω)/F in.Baumgartner and Laver showed that Ramsey ultrafilters are preservedby both side-by-side and iterated Sacks forcing.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 8: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/8.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Ultrafilters and Topological Ramsey spaces
(Di Prisco, Mijares, Nieto) If there exists a super compact cardinal,then every selective coideal U ⊆ R is (R,≤∗)-generic over L(R).Zheng states some condition on TRS to guarantee that the genericfilter is Sacks indestructible.(Navarro) Every topological Ramsey space forces a Ramsey ultrafilter.In this work we investigate ideals related to topological Ramseyspaces.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 9: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/9.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Ultrafilters and Topological Ramsey spaces
(Di Prisco, Mijares, Nieto) If there exists a super compact cardinal,then every selective coideal U ⊆ R is (R,≤∗)-generic over L(R).Zheng states some condition on TRS to guarantee that the genericfilter is Sacks indestructible.(Navarro) Every topological Ramsey space forces a Ramsey ultrafilter.In this work we investigate ideals related to topological Ramseyspaces.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 10: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/10.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Ultrafilters and Topological Ramsey spaces
(Di Prisco, Mijares, Nieto) If there exists a super compact cardinal,then every selective coideal U ⊆ R is (R,≤∗)-generic over L(R).Zheng states some condition on TRS to guarantee that the genericfilter is Sacks indestructible.(Navarro) Every topological Ramsey space forces a Ramsey ultrafilter.In this work we investigate ideals related to topological Ramseyspaces.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 11: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/11.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Ultrafilters and Topological Ramsey spaces
(Di Prisco, Mijares, Nieto) If there exists a super compact cardinal,then every selective coideal U ⊆ R is (R,≤∗)-generic over L(R).Zheng states some condition on TRS to guarantee that the genericfilter is Sacks indestructible.(Navarro) Every topological Ramsey space forces a Ramsey ultrafilter.In this work we investigate ideals related to topological Ramseyspaces.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 12: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/12.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Motivation
Several ultrafilters forced by σ-closed partial orders are also forced bytopological Ramsey spaces.Dobrinen and Todorcevic use topological Ramsey Spaces to find theprecise structure of the Tukey order.Dobrinen and Navarro use topological Ramsey spaces to calculateexact Ramsey degrees of several ultrafilters.Navarro used topological Ramsey spaces to find Katetov structure ofsome ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 13: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/13.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Motivation
Several ultrafilters forced by σ-closed partial orders are also forced bytopological Ramsey spaces.Dobrinen and Todorcevic use topological Ramsey Spaces to find theprecise structure of the Tukey order.Dobrinen and Navarro use topological Ramsey spaces to calculateexact Ramsey degrees of several ultrafilters.Navarro used topological Ramsey spaces to find Katetov structure ofsome ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 14: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/14.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Motivation
Several ultrafilters forced by σ-closed partial orders are also forced bytopological Ramsey spaces.Dobrinen and Todorcevic use topological Ramsey Spaces to find theprecise structure of the Tukey order.Dobrinen and Navarro use topological Ramsey spaces to calculateexact Ramsey degrees of several ultrafilters.Navarro used topological Ramsey spaces to find Katetov structure ofsome ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 15: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/15.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Introduction
Motivation
Several ultrafilters forced by σ-closed partial orders are also forced bytopological Ramsey spaces.Dobrinen and Todorcevic use topological Ramsey Spaces to find theprecise structure of the Tukey order.Dobrinen and Navarro use topological Ramsey spaces to calculateexact Ramsey degrees of several ultrafilters.Navarro used topological Ramsey spaces to find Katetov structure ofsome ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 16: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/16.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
Recall that an ideal on a set X is a collection I ⊂ P(X) which isclosed under subsets and finite unions.We are interested in ideals on countable sets so we think of ideals assubsets of ω.We can identify P(ω) with 2ω so we think of ideals as subsets of 2ωwith the inherited topology.I+ is the collection of subsets of ω that don‘t belong to I. Membersof I+ are called I-positive sets.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 17: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/17.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
Recall that an ideal on a set X is a collection I ⊂ P(X) which isclosed under subsets and finite unions.We are interested in ideals on countable sets so we think of ideals assubsets of ω.We can identify P(ω) with 2ω so we think of ideals as subsets of 2ωwith the inherited topology.I+ is the collection of subsets of ω that don‘t belong to I. Membersof I+ are called I-positive sets.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 18: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/18.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
Recall that an ideal on a set X is a collection I ⊂ P(X) which isclosed under subsets and finite unions.We are interested in ideals on countable sets so we think of ideals assubsets of ω.We can identify P(ω) with 2ω so we think of ideals as subsets of 2ωwith the inherited topology.I+ is the collection of subsets of ω that don‘t belong to I. Membersof I+ are called I-positive sets.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 19: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/19.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
Recall that an ideal on a set X is a collection I ⊂ P(X) which isclosed under subsets and finite unions.We are interested in ideals on countable sets so we think of ideals assubsets of ω.We can identify P(ω) with 2ω so we think of ideals as subsets of 2ωwith the inherited topology.I+ is the collection of subsets of ω that don‘t belong to I. Membersof I+ are called I-positive sets.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 20: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/20.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
DefinitionAn ideal I is P+ if for every decreasing sequence {Xn : n ∈ ω} ofI-positive sets there is some X ∈ I+ such that X ⊆∗ Xn for every n ∈ ω.
It is known that Fσ ideals are P+ and Hrusak proved that P+ ideals areFσ.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 21: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/21.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Ideals
DefinitionAn ideal I is P+ if for every decreasing sequence {Xn : n ∈ ω} ofI-positive sets there is some X ∈ I+ such that X ⊆∗ Xn for every n ∈ ω.
It is known that Fσ ideals are P+ and Hrusak proved that P+ ideals areFσ.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 22: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/22.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
TRS ideals
We are interested in ideals that are related to TRS in the same sense thatFin is related to the Ellentuck space.
DefinitionLet I be an ideal on ω, we say that I is a Topological Ramsey Space idealif there is some topological Ramsey space R ⊆ I+ such that for everyX ∈ I+ there is some Y ∈ R such that Y ⊆ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 23: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/23.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 24: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/24.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 25: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/25.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 26: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/26.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 27: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/27.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 28: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/28.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
Examples
I =Fin is a Topological Ramsey Space ideal.The eventually different ideal ED consists of sets A ⊆ ω×ω such that
(∃m,n ∈ ω)(∀k > m)(|{l ∈ ω : (k, l) ∈ A}| < ω).
ED is a TRS ideal.The ideal Fin× Fin contains sets A ⊆ ω × ω such that
|{m ∈ ω : |{n ∈ ω : (m,n) ∈ A}| = ω}| < ω.
F in× Fin is a TRS ideal.The ideal of convergent sequences ideal on Q ∩ (0, 1) is a TRS ideal.Summable ideal I 1
nis not a TRS ideal.
Many other ideals are TRS ideals.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 29: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/29.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
DefinitionLet I be a Topological Ramsey Space ideal with R a topological Ramseyspace associated to I and AR the collection of finite approximations ofmembers of R. We say that
I has the Independent Sequence Property if for every s ∈ AR andX ∈ R there is some t ∈ R such that s ⊏ t and t \ s ⊂ X.I has the Dependence Property if for every s ∈ AR and X ∈ R suchthat s ⊈ X there are no t ∈ R such that s ⊏ t and t \ s ⊂ X.
We say that I is weakly homogeneous if I has the Independent SequenceProperty or the Dependence Property.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 30: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/30.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
DefinitionLet I be a Topological Ramsey Space ideal with R a topological Ramseyspace associated to I and AR the collection of finite approximations ofmembers of R. We say that
I has the Independent Sequence Property if for every s ∈ AR andX ∈ R there is some t ∈ R such that s ⊏ t and t \ s ⊂ X.I has the Dependence Property if for every s ∈ AR and X ∈ R suchthat s ⊈ X there are no t ∈ R such that s ⊏ t and t \ s ⊂ X.
We say that I is weakly homogeneous if I has the Independent SequenceProperty or the Dependence Property.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 31: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/31.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
TRS ideals
DefinitionLet I be a Topological Ramsey Space ideal with R a topological Ramseyspace associated to I and AR the collection of finite approximations ofmembers of R. We say that
I has the Independent Sequence Property if for every s ∈ AR andX ∈ R there is some t ∈ R such that s ⊏ t and t \ s ⊂ X.I has the Dependence Property if for every s ∈ AR and X ∈ R suchthat s ⊈ X there are no t ∈ R such that s ⊏ t and t \ s ⊂ X.
We say that I is weakly homogeneous if I has the Independent SequenceProperty or the Dependence Property.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 32: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/32.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
HL ideals
If p is a Sacks tree and A ⊆ ω, we denote by p ↾ A the collection of nodess ∈ p such that s ∈ 2n for some n ∈ A.
DefinitionWe say an ideal I is Halpern Läuchli (HL) if for every coloring c : 2<ω → 2there are p ∈ Sacks and A ∈ I+ such that p ↾ A is homogeneous.
Proposition (Hrusak, Navarro)An ideal I is HL if and only if the P(ω)/I-generic filter is Sacksindestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 33: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/33.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
HL ideals
If p is a Sacks tree and A ⊆ ω, we denote by p ↾ A the collection of nodess ∈ p such that s ∈ 2n for some n ∈ A.
DefinitionWe say an ideal I is Halpern Läuchli (HL) if for every coloring c : 2<ω → 2there are p ∈ Sacks and A ∈ I+ such that p ↾ A is homogeneous.
Proposition (Hrusak, Navarro)An ideal I is HL if and only if the P(ω)/I-generic filter is Sacksindestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 34: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/34.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
HL ideals
If p is a Sacks tree and A ⊆ ω, we denote by p ↾ A the collection of nodess ∈ p such that s ∈ 2n for some n ∈ A.
DefinitionWe say an ideal I is Halpern Läuchli (HL) if for every coloring c : 2<ω → 2there are p ∈ Sacks and A ∈ I+ such that p ↾ A is homogeneous.
Proposition (Hrusak, Navarro)An ideal I is HL if and only if the P(ω)/I-generic filter is Sacksindestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 35: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/35.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
PropositionIf I is a P+-ideal then I is HL.
Proof. If I is a P+-ideal and U is a P(ω)/I-generic ultrafilter then U is aP-point. Since P-points are Sacks indestructible, by the previousProposition the conclusion follows.
CorollaryIf I is a Fσ ideal then I is HL.
Proof. This is because Fσ ideals are P+.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 36: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/36.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
PropositionIf I is a P+-ideal then I is HL.
Proof. If I is a P+-ideal and U is a P(ω)/I-generic ultrafilter then U is aP-point. Since P-points are Sacks indestructible, by the previousProposition the conclusion follows.
CorollaryIf I is a Fσ ideal then I is HL.
Proof. This is because Fσ ideals are P+.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 37: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/37.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
PropositionIf I is a P+-ideal then I is HL.
Proof. If I is a P+-ideal and U is a P(ω)/I-generic ultrafilter then U is aP-point. Since P-points are Sacks indestructible, by the previousProposition the conclusion follows.
CorollaryIf I is a Fσ ideal then I is HL.
Proof. This is because Fσ ideals are P+.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 38: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/38.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
PropositionIf I is a P+-ideal then I is HL.
Proof. If I is a P+-ideal and U is a P(ω)/I-generic ultrafilter then U is aP-point. Since P-points are Sacks indestructible, by the previousProposition the conclusion follows.
CorollaryIf I is a Fσ ideal then I is HL.
Proof. This is because Fσ ideals are P+.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 39: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/39.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
DefinitionLet I, J be ideals on ω. We way that I is Katetov below J (I ≤K J ) ifthere is some map f : ω → ω such that for every X ∈ I, f−1[X] ∈ J .
Members of the ideal EDfin are members of ED which are containedbelow the diagonal.
Proposition (Chodounsky, Guzman, Hrusak)If I is not HL then there exists some X ∈ I+ such that EDfin ≤K I ↾ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 40: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/40.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
DefinitionLet I, J be ideals on ω. We way that I is Katetov below J (I ≤K J ) ifthere is some map f : ω → ω such that for every X ∈ I, f−1[X] ∈ J .
Members of the ideal EDfin are members of ED which are containedbelow the diagonal.
Proposition (Chodounsky, Guzman, Hrusak)If I is not HL then there exists some X ∈ I+ such that EDfin ≤K I ↾ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 41: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/41.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
DefinitionLet I, J be ideals on ω. We way that I is Katetov below J (I ≤K J ) ifthere is some map f : ω → ω such that for every X ∈ I, f−1[X] ∈ J .
Members of the ideal EDfin are members of ED which are containedbelow the diagonal.
Proposition (Chodounsky, Guzman, Hrusak)If I is not HL then there exists some X ∈ I+ such that EDfin ≤K I ↾ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 42: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/42.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Proposition (Navarro)If I is an ideal with the Independent Sequence Property then I is P+.
Work in progressIf I is an ideal with the Dependence Property then there is no X ∈ I+
such that EDfin ≤K I ↾ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 43: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/43.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Proposition (Navarro)If I is an ideal with the Independent Sequence Property then I is P+.
Work in progressIf I is an ideal with the Dependence Property then there is no X ∈ I+
such that EDfin ≤K I ↾ X.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 44: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/44.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
ConjectureIf I is a weakly homogeneous TRS ideal and U is a P(ω)/I-genericultrafilter then U is Sacks indestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 45: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/45.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Applications
The asymptotic density zero ideal Z is the ideal
Z = {A ⊆ ω : limn→∞|A ∩ n|
n= 0}.
Proposition (Chodounsky, Guzman, Hrusak)Z is not HL.
If the conjecture is true then the ideal Z is not a TRS ideal.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 46: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/46.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Applications
The asymptotic density zero ideal Z is the ideal
Z = {A ⊆ ω : limn→∞|A ∩ n|
n= 0}.
Proposition (Chodounsky, Guzman, Hrusak)Z is not HL.
If the conjecture is true then the ideal Z is not a TRS ideal.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 47: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/47.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Applications
The asymptotic density zero ideal Z is the ideal
Z = {A ⊆ ω : limn→∞|A ∩ n|
n= 0}.
Proposition (Chodounsky, Guzman, Hrusak)Z is not HL.
If the conjecture is true then the ideal Z is not a TRS ideal.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 48: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/48.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Applications
Theorem (Zheng)Ultrafilters forced by Gowers space FIN, topological Ramsey spaces Rα
and finite dimensional Ellentuck spaces Ek are Sacks indestructible.
If the conjecture is true generic ultrafilters for infinite dimensionalEllentuck spaces and topological Ramsey spaces generated by Fräisséclasses are Sacks indestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 49: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/49.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Applications
Theorem (Zheng)Ultrafilters forced by Gowers space FIN, topological Ramsey spaces Rα
and finite dimensional Ellentuck spaces Ek are Sacks indestructible.
If the conjecture is true generic ultrafilters for infinite dimensionalEllentuck spaces and topological Ramsey spaces generated by Fräisséclasses are Sacks indestructible.
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020
![Page 50: Sonia Navarro Flores · Borel ideals and topological Ramsey spaces Sonia Navarro Flores National University of Mexico AMS Joint Meeting, Denver January 16, 2020 Sonia Navarro (UNAM)](https://reader034.fdocuments.us/reader034/viewer/2022051911/60016be46ff2c23b1f5bdb2f/html5/thumbnails/50.jpg)
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
...
.
Halpern Läuchli ideals
Thank you
Sonia Navarro (UNAM) Borel ideals and topological Ramsey spaces AMS Joint Meeting, Denver January 16, 2020