Fruitful and helpful ordinal functions
In Simmons (Arch Math Logic 43:65–83, 2004), I described a method of producing ordinal notations ‘from below’ (for countable ordinals up to the Howard ordinal) and compared that method with the current popular ‘from above’ method which uses a collapsing function from uncountable ordinals. This ‘from below’ method employs a slight generalization of the normal function—the fruitful functions—and what seems to be a new class of functions—the helpful functions—which exist at all levels of the function space hierarchy over ordinals. Unfortunately, I was rather sparing in my description of these classes of functions. In this paper I am much more generous. I describe the properties of the helpful functions on all finite levels and, in the final section, indicate how they can be used to simplify the generation of ordinal notations. The main aim of this paper is to fill in the details missing from . The secondary aim is to indicate what can be done with helpful functions. Fuller details of this development will appear elsewhere.
Mathematics Subject Classification (2000)03E10
Unable to display preview. Download preview PDF.
- 1.Archimedes: The Sand Reckoner; pp. 420–429 of Google Scholar
- 2.Cooper, S.B. (eds) et al.: Sets and proofs. Cambridge University Press, London (1997)Google Scholar
- 3.Newman J.R.: The world of mathematics, vol 1. George Allen and Unwin, London (1960)Google Scholar
- 4.Setzer, A.: Ordinal systems, pp. 301–338 of Google Scholar
- 5.Setzer, A.: Review of , Zentralblatt, Zbl 1067.03063Google Scholar
- 8.Simmons, H.: Generating ordinal notations from below (submitted)Google Scholar