01721nam0 2200397 i 450 VAN012731020230628092409.731N978981139949720200304d2019 |0itac50 baengSG|||| |||||Incompleteness for Higher-Order ArithmeticAn Example Based on Harrington’s PrincipleYong ChengSingaporeSpringer2019xiv, 122 p.24 cm001VAN01025962001 SpringerBriefs in mathematics210 Berlin [etc.]SpringerVAN0237115Incompleteness for Higher-Order Arithmetic173387103-XXMathematical logic and foundations [MSC 2020]VANC019750MF03CxxModel theory [MSC 2020]VANC024387MFHarrington's PrincipleKW:KHigher order arithmeticKW:KIncompletenessKW:KL-cardinalsKW:KMartin-Harrington TheoremKW:KSet TheoryKW:KSGSingaporeVANL000061ChengYongVANV098751781861Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-981-13-9949-7E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0127310BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1844 08eMF1844 20200304 Incompleteness for Higher-Order Arithmetic1733871UNICAMPANIA