Coanalytic families of functions
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |