000 01691cam a2200457 i 4500
001 ocn990118199
003 OCoLC
005 20230306160858.0
008 170911s2017 riu b 001 0 eng
010 _a 2017040911
020 _a9781470426576
_q(alk. paper)
020 _a1470426579
_q(alk. paper)
029 1 _aAU@
_b000060756573
029 1 _aCHBIS
_b011046235
029 1 _aCHVBK
_b495430072
035 _a(OCoLC)990118199
040 _aDLC
_beng
_erda
_cDLC
_dYDX
_dBTCTA
_dOCLCF
_dCGU
_dOCLCQ
_dFDA
_dOCLCO
042 _apcc
082 0 0 _a511.3
090 _acolm
100 1 _aHirschfeldt, Denis Roman,
_eauthor.
245 1 0 _aInduction, bounding, weak combinatorial principles, and the homogeneous model theorem /
_cDenis R. Hirschfeldt, Karen Lange, Richard A. Shore.
263 _a1709
264 1 _aProvidence, Rhode Island :
_bAmerican Mathematical Society,
_c[2017]
300 _a101 pages ;
_c26 cm.
336 _atext
_btxt
_2rdacontent
337 _aunmediated
_bn
_2rdamedia
338 _avolume
_bnc
_2rdacarrier
490 1 _aMemoirs of the American Mathematical Society,
_x0065-9266 ;
_vvolume 249, number 1187
504 _aIncludes bibliographical references and index.
650 0 _aReverse mathematics.
650 0 _aComputable functions.
_937437
650 0 _aDecidability (Mathematical logic)
_937439
697 _923736
_aColeções de Monografias.
700 1 _aLange, Karen,
_d1980-
_eauthor.
700 1 _aShore, Richard A.,
_d1946-
_eauthor.
_933211
830 0 _aMemoirs of the American Mathematical Society ;
_vno. 1187.
_940302
942 _2ddc
_cBK
_n0
948 _hNO HOLDINGS IN P5A - 55 OTHER HOLDINGS
999 _c39708
_d39708