Nominalistic ordinals, recursion on higher types, and finitism
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
scientific article; zbMATH DE number 7049060