Saved in:
Bibliographic Details
Main Authors: Mejak, Severin, Schrittesser, David
Format: Preprint
Published: 2022
Subjects:
Online Access:https://arxiv.org/abs/2212.05318
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of 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.