Progressing Function Lemma/Linguistic Note
Jump to navigation
Jump to search
Linguistic Note on Progressing Function Lemma
The name progressing function lemma comes from Set Theory and the Continuum Problem, revised ed. by Raymond M. Smullyan and Melvin Fitting, where they refer to an inflationary mapping as a progressing function.
Hence it is reasonable to assume that this result could also be called:
- inflationary mapping lemma
- progressive mapping lemma
- progressing mapping lemma
and so on, with function replacing mapping as desired.
However, the author of this page has seen no evidence of this result anywhere but in that particular work, with any sort of name assigned to it.