Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2510.07222 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866908854424436736 |
|---|---|
| author | Millhouse, Julia Schembecker, Lukas |
| author_facet | Millhouse, Julia Schembecker, Lukas |
| contents | For Van Douwen families, maximal families of eventually different permutations and maximal ideal independent families we show that the existence of a $Σ^1_2$ family implies the existence of a $Π^1_1$ family of the same size. We also prove a similar, but slightly weaker result for generating sets of cofinitary groups. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_07222 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Coanalytic families of functions Millhouse, Julia Schembecker, Lukas Logic For Van Douwen families, maximal families of eventually different permutations and maximal ideal independent families we show that the existence of a $Σ^1_2$ family implies the existence of a $Π^1_1$ family of the same size. We also prove a similar, but slightly weaker result for generating sets of cofinitary groups. |
| title | Coanalytic families of functions |
| topic | Logic |
| url | https://arxiv.org/abs/2510.07222 |