Beweistheorie vonKPN
From MaRDI portal
Publication:3880843
DOI10.1007/BF02011138zbMath0439.03043OpenAlexW2314635988MaRDI QIDQ3880843
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
proof theoryaxiom of foundationsubsystems of set theorycut- eliminationsystems of ramified set theory
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: Π12— 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
