Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
Publisher: American Mathematical Society
Published: 2017
Language: eng
ISBN-13: 9781470426576
Subjects: Computable functions; Decidability (mathematical logic); Logic, symbolic and mathematical