Finitary Treatment of Operator Controlled Derivations

DOI<363::AID-MALQ363>3.0.CO;2-P 10.1002/1521-3870(200108)47:3<363::AID-MALQ363>3.0.CO;2-PzbMath0986.03044OpenAlexW2010485236MaRDI QIDQ2743649

Wilfried Buchholz

Publication date: 3 June 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200108)47:3<363::aid-malq363>3.0.co;2-p

zbMATH Keywords

proof theorycut-eliminationordinal analysisordinal notation systemprovably recursive functionsramified set theoryinfinitary proof systemadmissible set theory with inaccessible universebounded multifunctionsproof-theoretic analysis of impredicative systems

Mathematics Subject Classification ID

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

Related Items

\(\Pi_1^1\)-comprehension as a well-ordering principle, A Buchholz derivation system for the ordinal analysis of KP + Π₃-reflection