Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined.

J. L. Bell Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined. 209-221 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#Bell95