A CO-ANALYTIC COHEN-INDESTRUCTIBLE MAXIMAL COFINITARY GROUP
AbstractAssuming that every set is constructible, we find a ${\text{\Pi }}_1^1 $ maximal cofinitary group of permutations of $\mathbb{N}$ which is indestructible by Cohen forcing. Thus we show that the existence of such groups is consistent with arbitrarily large continuum. Our method also gives a new proof, inspired by the forcing method, of Kastermans’ result that there exists a ${\text{\Pi }}_1^1 $ maximal cofinitary group in L.
Keyword(s):
1969 ◽
Vol 27
◽
pp. 160-161
1983 ◽
Vol 41
◽
pp. 708-709
1974 ◽
Vol 32
◽
pp. 436-437
1978 ◽
Vol 36
(1)
◽
pp. 548-549
◽
1978 ◽
Vol 36
(1)
◽
pp. 540-541
1978 ◽
Vol 36
(1)
◽
pp. 456-457
1988 ◽
Vol 46
◽
pp. 218-219