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

m a t h f r a k b = m a t h f r a k c = a l e p h_{2}

and there is a maximal cofinitary group with a

P i_{2}^{1}

-definable set of generators.

This page was built for publication: Definable maximal cofinitary groups