Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Kotlarski, Henryk Visualizza persona
Titolo: A Model–Theoretic Approach to Proof Theory / Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski Visualizza cluster
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]
03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]
03Exx - Set theory [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  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00126631
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://doi.org/10.1007/978-3-030-28921-8
Opac: Controlla la disponibilità qui
Serie: Trends in logic : studia logica library Berlin [etc.] . -Springer ; 51