Definable maximal cofinitary groups
Logic
2016-03-10 v1
Abstract
Using countable support iteration of -proper posets, for some appropriate stationary set , we obtain a generic extension of the constructible universe, in which and there is a maximal cofinitary group with a -definable set of generators.
Cite
@article{arxiv.1603.02942,
title = {Definable maximal cofinitary groups},
author = {Vera Fischer and Sy David Friedman and Asger Törnquist},
journal= {arXiv preprint arXiv:1603.02942},
year = {2016}
}