The following pages link to (Q5344167):
Displaying 14 items.
- Termination of rewriting (Q1098624) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
- Syntactical truth predicates for second order arithmetic (Q2732276) (← links)
- Error and Predicativity (Q3195675) (← links)
- Well-Partial Orderings and their Maximal Order Types (Q3295157) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Reminiscences of Kurt Schütte (Q5013897) (← links)
- Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ (Q5013900) (← links)
- The Limits of Predicativity Revisited (Q5013901) (← links)
- A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
- Lorenzen and Constructive Mathematics (Q5024724) (← links)
- Predicativity and Feferman (Q5214793) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
