Definability of maximal cofinitary groups

MaRDI QIDQ6420142zbMATH OpenFDO

Authors Severin Mejak, David Schrittesser

Publication date 10 December 2022

Mathematics Subject Classification ID

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

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.

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)