Good projective witnesses

arXiv1904.05823MaRDI QIDQ6317075FDOQ6317075

Authors: Vera Fischer, Sy-David Friedman, David Schrittesser, Asger Törnquist 

Publication date: 11 April 2019

Abstract: We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $mathfrak{a}_{extg}$ of a maximal cofinitary group (MCG) is strictly between $alep{h}_1$ and $mathfrakc$, and there is a $P{i}_2^1$-definable MCG of this cardinality. Here $P{i}_2^1$ is optimal, making this result a natural counterpart to the Borel MCG of Horowitz and Shelah. Our theorem has its analogue in the realm of maximal almost disjoint (MAD) families, extending a line of results regarding the definability properties of MAD families in models with large continuum.

Mathematics Subject Classification ID

Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17)

This page was built for publication: Good projective witnesses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6317075)