Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2105.11318 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915047141277696 |
|---|---|
| author | Schrittesser, David |
| author_facet | Schrittesser, David |
| contents | Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second order arithmetic with only a few natural number quantifiers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_11318 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Constructing maximal cofinitary groups Schrittesser, David Logic 03E05, 03E15, 03E25, 20B07 Improving and clarifying a construction of Horowitz and Shelah, we show how to construct (in $\textsf{ZF}$, that is, without using the Axiom of Choice) maximal cofinitary groups. Among the groups we construct, one is definable by a formula in second order arithmetic with only a few natural number quantifiers. |
| title | Constructing maximal cofinitary groups |
| topic | Logic 03E05, 03E15, 03E25, 20B07 |
| url | https://arxiv.org/abs/2105.11318 |