English

A co-analytic Cohen indestructible maximal cofinitary group

Logic 2022-11-09 v2

Abstract

Assuming that every set is constructible, we find a Π11\Pi^1_1 maximal cofinitary group of permutations of N\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 Π11\Pi^1_1 maximal cofinitary group in LL.

Keywords

Cite

@article{arxiv.1603.02024,
  title  = {A co-analytic Cohen indestructible maximal cofinitary group},
  author = {Vera Fischer and David Schrittesser and Asger Törnquist},
  journal= {arXiv preprint arXiv:1603.02024},
  year   = {2022}
}

Comments

Minor corrections

R2 v1 2026-06-22T13:05:09.322Z