𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Countable Admissible Ordinals and Dilators

✍ Scribed by Gerhard Jäger


Publisher
John Wiley and Sons
Year
1986
Tongue
English
Weight
325 KB
Volume
32
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


How to develop Proof-Theoretic Ordinal F
✍ Michael Rathjen 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 405 KB

## Abstract In ordinal analysis of impredicative theories so‐called collapsing functions are of central importance. Unfortunately, the definition procedure of these functions makes essential use of uncountable cardinals whereas the notation system that they call into being corresponds to a recursiv