Stanley S. Wainer Accessible Segments of the Fast Growing Hierarchy. 339-348 1995 Logic Colloquium https://doi.org/10.1007/978-3-662-22108-2_19 conf/logicColl/1995 db/conf/logicColl/logicColl1995.html#Wainer95