Projective well-orders and coanalytic witnesses

Jeffrey Bergfalk, Vera Fischer, Corey Bacal Switzer

We further develop a forcing notion known as Coding with Perfect Trees and show that this poset preserves, in a strong sense, definable $P$-points, definable tight MAD families and…