01709nam 2200493 450 991079623470332120180918123823.01-4704-4141-1(CKB)3790000000534967(MiAaPQ)EBC5110287(RPAM)19985886(PPN)220240663(EXLCZ)99379000000053496720180126h20172017 uy 0engurcnu||||||||rdacontentrdamediardacarrierInduction, bounding, weak combinatorial principles, and the homogeneous model theorem /Denis R. Hirschfeldt, Karen Lange, Richard A. ShoreProvidence, Rhode Island :American Mathematical Society,2017.©20171 online resource (107 pages)Memoirs of the American Mathematical Society,1947-6221 ;Volume 249, Number 11871-4704-2657-9 Includes bibliographical references.Memoirs of the American Mathematical Society ;Volume 249, Number 1187.Reverse mathematicsComputable functionsDecidability (Mathematical logic)Reverse mathematics.Computable functions.Decidability (Mathematical logic)511.3Hirschfeldt Denis Roman1466010Lange Karen1980-Shore Richard A.1946-MiAaPQMiAaPQMiAaPQBOOK9910796234703321Induction, bounding, weak combinatorial principles, and the homogeneous model theorem3801550UNINA