4 found
Order:
  1.  33
    Well Ordered Subsets of Linearly Ordered Sets.Hartmut Höft & Paul Howard - 1994 - Notre Dame Journal of Formal Logic 35 (3):413-425.
    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.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  5
    Antisymmetry and Lexicographic Product Relations.Hartmut Höft - 1981 - Mathematical Logic Quarterly 27 (22):337-344.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  21
    Antisymmetry and Lexicographic Product Relations.Hartmut Höft - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (22):337-344.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  22
    A graph theoretic equivalent to the axiom of choice.Hartmut Höft & Paul Howard - 1973 - Mathematical Logic Quarterly 19 (11‐12):191-191.