The mathematical import of Zermelo’s well-ordering theorem (1997)

by A Kanamori
Venue:Bulletin of Symbolic Logic 3