Describing Ordinals Using Functionals of Transfinite Type

Peter Aczel. Describing Ordinals Using Functionals of Transfinite Type. Journal of Symbolic Logic, 37(1):35-47, 1972.

Abstract

Abstract is missing.