Universally meager sets in the Miller model and similar ones
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912771141009408 |
|---|---|
| author | Haberl, Valentin Szewczak, Piotr Zdomskyy, Lyubomyr |
| author_facet | Haberl, Valentin Szewczak, Piotr Zdomskyy, Lyubomyr |
| contents | We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $ω_1$. Some relations between combinatorial covering properties in these models allow to obtain the same limitations for sizes of Rothberger spaces and Hurewicz spaces with no homeomorphic copy of the Cantor set inside. It follows from our results that the existence of a strong measure zero set of size $ω_2$ does not imply the existence of a Rothberger space of size $ω_2$. We also prove that in the Miller model all strong measure zero sets have size at most $ω_1$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_15490 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Universally meager sets in the Miller model and similar ones Haberl, Valentin Szewczak, Piotr Zdomskyy, Lyubomyr Logic General Topology 03E35, 54D20, 54A35 (Primary) 03E75 (Secondary) We work in the realm of sets of reals. We prove that in the Miller model and in a model constructed by Goldstern-Judah-Shelah all universally meager sets have size at most $ω_1$. Some relations between combinatorial covering properties in these models allow to obtain the same limitations for sizes of Rothberger spaces and Hurewicz spaces with no homeomorphic copy of the Cantor set inside. It follows from our results that the existence of a strong measure zero set of size $ω_2$ does not imply the existence of a Rothberger space of size $ω_2$. We also prove that in the Miller model all strong measure zero sets have size at most $ω_1$. |
| title | Universally meager sets in the Miller model and similar ones |
| topic | Logic General Topology 03E35, 54D20, 54A35 (Primary) 03E75 (Secondary) |
| url | https://arxiv.org/abs/2512.15490 |