Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
From MaRDI portal
Publication:3968911
DOI10.1007/BF02297652zbMath0503.03014MaRDI QIDQ3968911
Publication date: 1982
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137996
03D05: Automata and formal grammars in connection with logical questions
03E70: Nonclassical and second-order set theories
Related Items
AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS, Fixed points in Peano arithmetic with ordinals, The strength of some Martin-Löf type theories, Proof theory for theories of ordinals. I: Recursively Mahlo ordinals, Second order theories with ordinals and elementary comprehension, On Feferman's operational set theory \textsf{OST}, Theories and ordinals in proof theory
Cites Work
- Set theoretic foundations for constructive analysis
- Beweistheorie vonKPN
- Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
- Provable wellorderings of formal theories for transfinitely iterated inductive definitions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item