Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
Hirschfeldt, Denis Roman,
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. - 101 pages ; 26 cm. - Memoirs of the American Mathematical Society, volume 249, number 1187 0065-9266 ; . - Memoirs of the American Mathematical Society ; no. 1187. .
Includes bibliographical references and index.
9781470426576 1470426579
2017040911
Reverse mathematics.
Computable functions.
Decidability (Mathematical logic)
511.3
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. - 101 pages ; 26 cm. - Memoirs of the American Mathematical Society, volume 249, number 1187 0065-9266 ; . - Memoirs of the American Mathematical Society ; no. 1187. .
Includes bibliographical references and index.
9781470426576 1470426579
2017040911
Reverse mathematics.
Computable functions.
Decidability (Mathematical logic)
511.3