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