Book

Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem

by Denis R. Hirschfeldt, Karen Lange, Richard A. Shore