scientific article
From MaRDI portal
Publication:3895467
zbMath0449.03057MaRDI QIDQ3895467
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Inner models, including constructibility, ordinal definability, and core models (03E45) Axiomatics of classical set theory and its fragments (03E30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15) Inductive definability (03D70)
Related Items
A constructive consistency proof of a fragment of set theory, RELATIVIZING OPERATIONAL SET THEORY, Beweistheoretische Abgrenzung von Teilsystemen der Analysis, The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories, From Subsystems of Analysis to Subsystems of Set Theory, Proof theory and ordinal analysis, Reflections on reflections in explicit mathematics, An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe