Well Ordered Subsets of Linearly Ordered Sets
Paul Howard, Hartmut Höft · Notre Dame Journal of Formal Logic · 1994
The deductive relationships between six statements are examined in set theory without the axiom of choice. Each of these statements follows from the axiom of choice and involves linear orderings in some way.