Kurepa trees, continuous images, and perfect set properties
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917852211052544 |
|---|---|
| author | Lambie-Hanson, Chris Stejskalová, Šárka |
| author_facet | Lambie-Hanson, Chris Stejskalová, Šárka |
| contents | Building upon work of Lücke and Schlicht, we study (higher) Kurepa trees through the lens of higher descriptive set theory, focusing in particular on various perfect set properties and representations of sets of branches through trees as continuous images of function spaces. Answering a question of Lücke and Schlicht, we prove that it is consistent with $\mathsf{CH}$ that there exist $ω_2$-Kurepa trees and yet, for every $ω_2$-Kurepa tree $T \subseteq {^{<ω_2}}ω_2$, the set $[T] \subseteq {^{ω_2}}ω_2$ of cofinal branches through $T$ is not a continuous image of ${^{ω_2}}ω_2$. We also produce models indicating that the existence of Kurepa trees is not necessary to produce closed subsets of ${^{ω_1}}ω_1$ failing to satisfy strong perfect set properties, and prove a number of consistency results regarding \emph{full} and \emph{superthin} trees. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_19839 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Kurepa trees, continuous images, and perfect set properties Lambie-Hanson, Chris Stejskalová, Šárka Logic 03E05, 03E35, 03E47 Building upon work of Lücke and Schlicht, we study (higher) Kurepa trees through the lens of higher descriptive set theory, focusing in particular on various perfect set properties and representations of sets of branches through trees as continuous images of function spaces. Answering a question of Lücke and Schlicht, we prove that it is consistent with $\mathsf{CH}$ that there exist $ω_2$-Kurepa trees and yet, for every $ω_2$-Kurepa tree $T \subseteq {^{<ω_2}}ω_2$, the set $[T] \subseteq {^{ω_2}}ω_2$ of cofinal branches through $T$ is not a continuous image of ${^{ω_2}}ω_2$. We also produce models indicating that the existence of Kurepa trees is not necessary to produce closed subsets of ${^{ω_1}}ω_1$ failing to satisfy strong perfect set properties, and prove a number of consistency results regarding \emph{full} and \emph{superthin} trees. |
| title | Kurepa trees, continuous images, and perfect set properties |
| topic | Logic 03E05, 03E35, 03E47 |
| url | https://arxiv.org/abs/2411.19839 |