Abstract
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.
Citation
Paul Howard. Hartmut Höft. "Well Ordered Subsets of Linearly Ordered Sets." Notre Dame J. Formal Logic 35 (3) 413 - 425, /Summer 1994. https://doi.org/10.1305/ndjfl/1040511347
Information