scientific article; zbMATH DE number 1088206

zbMath0884.03054MaRDI QIDQ4364521

Anton Setzer

Publication date: 17 November 1997

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

zbMATH Keywords

cut eliminationMartin-Löf's Type Theoryfragment of set theoryextension of Kripke-Platek set theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Well-ordering proofs for Martin-Löf type theory