A theorem on n-tuples which is equivalent to the well-ordering theorem.

Published in: Notre Dame J. Formal Log. (1967)

Keyphrases