Vai al contenuto principale della pagina
Autore: |
Cheng, Yong
![]() |
Titolo: |
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
![]() |
Pubblicazione: | Singapore, : Springer, 2019 |
Titolo uniforme: | Incompleteness for Higher-Order Arithmetic |
Descrizione fisica: | xiv, 122 p. ; 24 cm |
Soggetto topico: | 03-XX - Mathematical logic and foundations [MSC 2020] |
03Cxx - Model theory [MSC 2020] | |
Soggetto non controllato: | Harrington's Principle |
Higher order arithmetic | |
Incompleteness | |
L-cardinals | |
Martin-Harrington Theorem | |
Set Theory | |
Titolo autorizzato: | Incompleteness for Higher-Order Arithmetic ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0127310 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-981-13-9949-7 |
Opac: | Controlla la disponibilitĂ qui |