Finitary Treatment of Operator Controlled Derivations
โ Scribed by Wilfried Buchholz
- Publisher
- John Wiley and Sons
- Year
- 2001
- Tongue
- English
- Weight
- 393 KB
- Volume
- 47
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
โฆ Synopsis
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 of KPi.
๐ SIMILAR VOLUMES
I patients with operable breast cancer, is it wise to perform prophylactic castration as an adjunct to mastectomy or is it wiser to perform therapeutic castration at a later date, if needed, for the treatment of metastasesP This is, indeed, the physician's dilemma! Is the wisdom of prophylactic cast