Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model TheoremDenis R. Hirschfeldt, Karen Lange, Richard A. Shore · First published 2017Open the Tome
Algorithmic Randomness and ComplexityRodney G. Downey, Denis R. Hirschfeldt · First published 2016Open the Tome
Effective Mathematics of the UncountableNoam Greenberg, Denis Hirschfeldt, Joel David Hamkins, Russell Miller · First published 2013Open the Tome
