LEADER 01721nam0 2200397 i 450 001 VAN0127310 005 20230628092409.731 017 70$2N$a9789811399497 100 $a20200304d2019 |0itac50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 200 1 $aIncompleteness for Higher-Order Arithmetic$eAn Example Based on Harrington?s Principle$fYong Cheng 210 $aSingapore$cSpringer$d2019 215 $axiv, 122 p.$d24 cm 410 1$1001VAN0102596$12001 $aSpringerBriefs in mathematics$1210 $aBerlin [etc.]$cSpringer 500 1$3VAN0237115$aIncompleteness for Higher-Order Arithmetic$91733871 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03Cxx$xModel theory [MSC 2020]$3VANC024387$2MF 610 $aHarrington's Principle$9KW:K 610 $aHigher order arithmetic$9KW:K 610 $aIncompleteness$9KW:K 610 $aL-cardinals$9KW:K 610 $aMartin-Harrington Theorem$9KW:K 610 $aSet Theory$9KW:K 620 $aSG$dSingapore$3VANL000061 700 1$aCheng$bYong$3VANV098751$0781861 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://doi.org/10.1007/978-981-13-9949-7$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0127310 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 1844 $e08eMF1844 20200304 996 $aIncompleteness for Higher-Order Arithmetic$91733871 997 $aUNICAMPANIA