scientific article; zbMATH DE number 3217001
From MaRDI portal
Publication:5344167
zbMath0134.01201MaRDI QIDQ5344167
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Minimal bad sequences are necessary for a uniform Kruskal theorem ⋮ A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) ⋮ Termination of rewriting ⋮ Error and Predicativity ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ Syntactical truth predicates for second order arithmetic ⋮ Predicativity and Feferman ⋮ Reminiscences of Kurt Schütte ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ ⋮ The Limits of Predicativity Revisited ⋮ A Note on (Meta)predicative Wellordering Proofs ⋮ Lorenzen and Constructive Mathematics ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication:
