scientific article; zbMATH DE number 3217001

zbMATH Open0134.01201MaRDI QIDQ5344167FDOQ5344167

Authors: Kurt Schütte 

Publication date: 1965

Title of this publication is not available (Why is that?)

zbMATH Keywords

mathematical logic

Cited In (14)

• Syntactical truth predicates for second order arithmetic
• A Note on (Meta)predicative Wellordering Proofs
• Minimal bad sequences are necessary for a uniform Kruskal theorem
• Proof theoretic analysis by iterated reflection
• Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$
• Reminiscences of Kurt Schütte
• Termination of rewriting
• Predicativity and Feferman
• Error and predicativity
• Lorenzen and constructive mathematics
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
• The prehistory of the subsystems of second-order arithmetic
• Well-partial orderings and their maximal order types
• The Limits of Predicativity Revisited

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 Q5344167)