A Model–Theoretic Approach to Proof Theory / Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski

• Autore: Kotlarski, Henryk
• Pubblicazione: Cham, : Springer, 2019
• Titolo uniforme: A Model–Theoretic Approach to Proof Theory
• Descrizione fisica: xviii, 123 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Exx - Set theory [MSC 2020]; 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
• Soggetto non controllato: Arithmetized Completeness Theorem; Combinatorics of Alfa Large Sets; Gödel's Incompleteness Theorems; Hardy Hierarchy of Functions; Independence Results for Peano Arithmetic; Ketonen-Solovay Largeness Notion; Model Theory of Arithmetic; Model theoretic; Nonstandard Satisfaction Classes; Ordinal combinatorics; Proofs of Incompleteness Theorems; Subsystems of Peano Arithmetic; Transfinite Induction in Arithmetic
• Persona (resp. second.): Adamowicz, Zofia; Bigorajska, Teresa; Zdanowski, Konrad
• Titolo autorizzato: Model–Theoretic Approach to Proof Theory
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0126631
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-28921-8
• Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 51