Premium
Finitary Treatment of Operator Controlled Derivations
Author(s) -
Buchholz Wilfried
Publication year - 2001
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/1521-3870(200108)47:3<363::aid-malq363>3.0.co;2-p
Subject(s) - finitary , mathematics , hierarchy , axiom , operator (biology) , set (abstract data type) , zermelo–fraenkel set theory , discrete mathematics , algebra over a field , axiom of choice , pure mathematics , set theory , computer science , biochemistry , chemistry , geometry , repressor , economics , transcription factor , market economy , gene , programming language
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‐P atek 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 of KPi.