Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

DOI10.1007/BF02297652zbMath0503.03014OpenAlexW2064882914MaRDI QIDQ3968911

Gerhard Jäger

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

zbMATH Keywords

ordinal notationsfirst-order arithmeticKripke-Platek-Settheory

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Nonclassical and second-order set theories (03E70)

Related Items

Supervaluation-style truth without supervaluations ⋮ The strength of some Martin-Löf type theories ⋮ Simplified Cut Elimination for Kripke-Platek Set Theory ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS ⋮ Second order theories with ordinals and elementary comprehension ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ Operational closure and stability ⋮ A proof-theoretic account of classical principles of truth ⋮ Relativized ordinal analysis: the case of power Kripke-Platek set theory ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ A few more dissimilarities between second-order arithmetic and set theory ⋮ On Feferman's operational set theory \textsf{OST} ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts ⋮ Fixed points in Peano arithmetic with ordinals ⋮ \(\Pi_1^1\)-comprehension as a well-ordering principle ⋮ Theories and ordinals in proof theory ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives ⋮ Patterns of resemblance and Bachmann-Howard fixed points ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$

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