Finitary Treatment of Operator Controlle
โ
Wilfried Buchholz
๐
Article
๐
2001
๐
John Wiley and Sons
๐
English
โ 393 KB
๐ 1 views
By combining the methods of two former papers of ours ([6] and [7]) we develop a finitary ordinal analysis of the axiom system KPi of Kripke-Platek set theory with an inaccessible universe. As a main result we obtain an upper bound (in the fast-growing hierarchy) for the provably recursive functions