I will not assume knowledge from my previous talks on this subject. We define co-K-analytic spaces and provide evidence that this is the "correct generalization" of 'co-analytic' to non-metrizable spaces. As before, we view the classic work of Rogers and Jayne on analytic sets through the lens of

Arhangel'skii's work on generalized metric spaces, while we investigate the question of whether definable Menger spaces are sigma-compact.