Finitary Treatment of Operator Controlled Derivations
From MaRDI portal
Publication:2743649
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
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
proof theorycut-eliminationordinal analysisordinal notation systemprovably recursive functionsramified set theoryinfinitary proof systemadmissible set theory with inaccessible universebounded multifunctionsproof-theoretic analysis of impredicative systems
Related Items
\(\Pi_1^1\)-comprehension as a well-ordering principle, A Buchholz derivation system for the ordinal analysis of KP + Π3-reflection