Report - The Realm of Ordinal Analysis - University of Leedsrathjen/realm.pdffunctions are exactly the Kalmar elementary functions, i.e. the class of functions which contains the successor,

Please pass captcha verification before submit form