Displaying similar documents to “A characterization of well-orders”