scientific article; zbMATH DE number 888989

MaRDI QIDQ4882047zbMATH OpenFDO

Authors Kurt Schütte

Publication date 9 September 1996

zbMATH Keywords

\(H\)-controlled derivationsimpredicative cut-eleminationKPMKripke-Platek set theoryordinal analysisrecursive Mahlo universe

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15)

Recommendations

• scientific article; zbMATH DE number 510775
• Proof-theoretic analysis of KPM
• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM

Cited in

(6)

• Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM
• scientific article; zbMATH DE number 510775 (Why is no real title available?)
• Zur Beweistheorie Von KPM
• Proof-theoretic analysis of KPM

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882047)