Title: Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Subjects: Computable functions, Decidability (mathematical logic), Logic, symbolic and mathematical