Beweistheorie vonKPN
From MaRDI portal
Publication:3880843
DOI10.1007/BF02011138zbMath0439.03043MaRDI 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 theory; axiom of foundation; subsystems of set theory; cut- elimination; systems of ramified set theory
03F05: Cut-elimination and normal-form theorems
03E30: Axiomatics of classical set theory and its fragments
03F25: Relative consistency and interpretations
Related Items
Recent Advances in Ordinal Analysis: Π12— CA and Related Systems, Some theories with positive induction of ordinal strength φω0, Fixed points in Peano arithmetic with ordinals, Universes over Frege structures, Second order theories with ordinals and elementary comprehension, Systems of explicit mathematics with non-constructive \(\mu\)-operator and join, The strength of admissibility without foundation, Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1, Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
Cites Work