Definability of maximal cofinitary groups
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913595884830720 |
|---|---|
| author | Mejak, Severin Schrittesser, David |
| author_facet | Mejak, Severin Schrittesser, David |
| contents | We present a proof of a result, previously announced by the second author, that there is a closed (even $Π^0_1$) set generating an $F_σ$ (even $Σ^0_2$) maximal cofinitary group (short, mcg) which is isomorphic to a free group. In this isomorphism class, this is the lowest possible definitional complexity of an mcg. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2212_05318 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Definability of maximal cofinitary groups Mejak, Severin Schrittesser, David Group Theory Logic 03E05, 03E15, 20B07 We present a proof of a result, previously announced by the second author, that there is a closed (even $Π^0_1$) set generating an $F_σ$ (even $Σ^0_2$) maximal cofinitary group (short, mcg) which is isomorphic to a free group. In this isomorphism class, this is the lowest possible definitional complexity of an mcg. |
| title | Definability of maximal cofinitary groups |
| topic | Group Theory Logic 03E05, 03E15, 20B07 |
| url | https://arxiv.org/abs/2212.05318 |