scientific article; zbMATH DE number 946307

zbMath0863.03029MaRDI QIDQ4715478

Anton Setzer

Publication date: 17 November 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke-Platek set theorytransfinite inductionproof-theoretic ordinalinaccessibleadmissiblesMartin-Löf type theory with \(W\)-typetree-induction

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Related Items

The strength of some Martin-Löf type theories, On the proof-theoretic strength of monotone induction in explicit mathematics, Induction-recursion and initial algebras., On Relating Theories: Proof-Theoretical Reduction, Well-ordering proofs for Martin-Löf type theory, An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe