Constructing maximal cofinitary groups
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2021
- DOI:
- 10.48550/arXiv.2105.11318
- arXiv:
- arXiv:2105.11318
- Bibcode:
- 2021arXiv210511318S
- Keywords:
-
- Mathematics - Logic;
- 03E05;
- 03E15;
- 03E25;
- 20B07
- E-Print:
- Fixed a gap in the proof. 30 pages