Good projective witnesses

MaRDI QIDQ6317075zbMATH OpenFDO

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

Publication date 11 April 2019

Mathematics Subject Classification ID

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

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.

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)