scientific article; zbMATH DE number 3030933
From MaRDI portal
Publication:5770686
zbMath0019.24103MaRDI QIDQ5770686
No author found.
Publication date: 1938
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency ⋮ On the logical strength of the better quasi order with three elements ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ A note on Gentzen's ordinal assignment ⋮ A Framework for Formalizing Set Theories Based on the Use of Static Set Terms ⋮ ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment ⋮ Cut-Elimination for SBL ⋮ Normalization Proof for Derivations in PA after P. Cohen ⋮ A Glimpse of $$ \sum_{3} $$-elementarity
This page was built for publication:
