Notes on Pi^1_1 Conservativity, Omega-Submodels, and the Collection Schema

Jeremy Avigad
2018
These are some minor notes and observations related to a paper by Cholak, Jockusch, and Slaman [3].
doi:10.1184/r1/6492341 fatcat:fsxg64vkorcd7k4vxtvqlhlp24