Definability of maximal cofinitary groups

arXiv2212.05318MaRDI QIDQ6420142FDOQ6420142

Authors: Severin Mejak, David Schrittesser 

Publication date: 10 December 2022

Abstract: We present a proof of a result, previously announced by the second author, that there is a closed (even $P{i}_1^0$) set generating an $F_{s}igma$ (even $Sigm{a}_2^0$) 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.

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) General theory for infinite permutation groups (20B07)

This page was built for publication: Definability of maximal cofinitary groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6420142)