scientific article

zbMath0625.03039MaRDI QIDQ3027001

Peter Paeppinghaus

Publication date: 1987

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

zbMATH Keywords

cut-elimination\(\Pi _ 2\)-models\(\Pi _ 2\)-ordinalsextensions of Kripke-Platek set theoryhierarchy of ordinal functions indexed by dilatorsprovably \(\Sigma _ 1\)-definable functions

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: