scientific article; zbMATH DE number 3030933

MaRDI QIDQ5770686zbMATH OpenFDO

Authors Gerhard Gentzen

Publication date 1938

zbMATH Keywords

consistency of arithmetics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(12)

• A note on Gentzen's ordinal assignment
• ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
• Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
• Well-partial orderings and their maximal order types
• Cut-Elimination for SBL
• Normalization Proof for Derivations in PA after P. Cohen
• A Glimpse of $$ \sum_{3} $$-elementarity
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• On the logical strength of the better quasi order with three elements
• Gentzen's overview of calculi and reductions in consistency proofs
• Rereading Gentzen

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5770686)