Definable maximal cofinitary groups

Abstract

Using countable support iteration of $S$-proper posets, for some appropriate stationary set $S$, we obtain a generic extension of the constructible universe, in which $\mathfrak{b}=\mathfrak{c}={\aleph }_2$ and there is a maximal cofinitary group with a ${\Pi }_2^1$-definable set of generators.

Cited by in corpus (1)

• A Borel maximal cofinitary group