Gentzen’s centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen editors

• Pubblicazione: [Cham], : Springer, 2015
• Titolo uniforme: Gentzen’s centenary : the quest for consistency
• Descrizione fisica: X, 561 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 01A60 - History of mathematics in the 20th century [MSC 2020]; 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]; 03F30 - First-order arithmetic and fragments [MSC 2020]; 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]; 03F05 - Cut-elimination and normal-form theorems [MSC 2020]; 03F15 - Recursive ordinals and ordinal notations [MSC 2020]; 03F25 - Relative consistency and interpretations [MSC 2020]; 03F35 - Second- and higher-order arithmetic and fragments [MSC 2020]
• Soggetto non controllato: Consistency Proof; Gentzen Formal Systems; Gentzen's Main Theorem; Ordinal Analysis; Proof Theory
• Persona (resp. second.): Kahle, Reinhard; Rathjen, Michael
• Titolo autorizzato: Gentzen’s centenary
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0113260
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-3-319-10103-3