↧
Answer by Fedor Pakhomov for How to build large recursive ordinals using...
There are at least two fundamentally different ways how one could reach Bachmann-Howard ordinal using dilator and ptykes.One way is to allow recursion on ordinals for ptykes for all finite types. Then...
View ArticleHow to build large recursive ordinals using Dillator and/or Ptykes?
I've only recently learned about Girard's theory of Dilators and Ptykes, and I find this theory very elegant, but it is not clear at all to me whether/how it can be used to produce ordinal notations...
View Article
More Pages to Explore .....