02478nam0 2200529 i 450 VAN012663120230626103924.421N978303028921820200211d2019 |0itac50 baengCH|||| |||||ˆA ‰Model–Theoretic Approach to Proof TheoryHenryk Kotlarskiedited by Zofia Adamowicz, Teresa Bigorajska and Konrad ZdanowskiChamSpringer2019xviii, 123 p.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer51VAN0236615ˆA ‰Model–Theoretic Approach to Proof Theory166808303-XXMathematical logic and foundations [MSC 2020]VANC019750MF03ExxSet theory [MSC 2020]VANC019939MF03A05Philosophical and critical aspects of logic and foundations [MSC 2020]VANC024501MFArithmetized Completeness TheoremKW:KCombinatorics of Alfa Large SetsKW:KGödel's Incompleteness TheoremsKW:KHardy Hierarchy of FunctionsKW:KIndependence Results for Peano ArithmeticKW:KKetonen-Solovay Largeness NotionKW:KModel Theory of ArithmeticKW:KModel theoreticKW:KNonstandard Satisfaction ClassesKW:KOrdinal combinatoricsKW:KProofs of Incompleteness TheoremsKW:KSubsystems of Peano ArithmeticKW:KTransfinite Induction in ArithmeticKW:KCHChamVANL001889KotlarskiHenrykVANV098007780954AdamowiczZofiaVANV040059340BigorajskaTeresaVANV098008340ZdanowskiKonradVANV098009340Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-28921-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0126631BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1471 08eMF1471 20200211 Model–Theoretic Approach to Proof Theory1668083UNICAMPANIA