Beweistheorie vonKPN

DOI10.1007/BF02011138zbMath0439.03043OpenAlexW2314635988MaRDI QIDQ3880843

Gerhard Jäger

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137960

zbMATH Keywords

proof theoryaxiom of foundationsubsystems of set theorycut- eliminationsystems of ramified set theory

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Axiomatics of classical set theory and its fragments (03E30) Relative consistency and interpretations (03F25)

Related Items

Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen ⋮ The strength of admissibility without foundation ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ Second order theories with ordinals and elementary comprehension ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems ⋮ Some theories with positive induction of ordinal strength φω0 ⋮ Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory ⋮ From Subsystems of Analysis to Subsystems of Set Theory ⋮ Fixed points in Peano arithmetic with ordinals ⋮ \(\Pi_1^1\)-comprehension as a well-ordering principle ⋮ Full operational set theory with unbounded existential quantification and power set ⋮ Systems of explicit mathematics with non-constructive \(\mu\)-operator and join ⋮ Having a Look Again at Some Theories ofProof-Theoretic Strengths around $$ \varGamma_{0} $$ ⋮ Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1 ⋮ Universes over Frege structures

Cites Work

• Set theoretic foundations for constructive analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item