scientific article; zbMATH DE number 3030933
From MaRDI portal
Publication:5770686
zbMATH Open0019.24103MaRDI QIDQ5770686FDOQ5770686
Authors: Gerhard Gentzen 
Publication date: 1938
Title of this publication is not available (Why is that?)
Cited In (10)
- On the logical strength of the better quasi order with three elements
- A Glimpse of $$ \sum_{3} $$-elementarity
- A note on Gentzen's ordinal assignment
- Cut-Elimination for SBL
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Normalization Proof for Derivations in PA after P. Cohen
- A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
- 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
- ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
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)
