scientific article; zbMATH DE number 3217001
From MaRDI portal
Publication:5344167
Cited in
(18)- Termination of rewriting
- Minimal bad sequences are necessary for a uniform Kruskal theorem
- A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
- Syntactical truth predicates for second order arithmetic
- Error and predicativity
- Well-partial orderings and their maximal order types
- Proof theoretic analysis by iterated reflection
- 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
- Predicativity and Feferman
- The prehistory of the subsystems of second-order arithmetic
- An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)
- A Neglected Interpretation of Das Kontinuum
- Gaps, gluts, and theoretical equivalence
- Consistent ultrafinitist logic
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)
