arXiv:2010.12452 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords partial combinatory algebra, ordinal analysis, closure ordinal, kleenes first model, extensionality relations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset