Switch to: References

Add citations

You must login to add citations.
  1. Bases, spanning sets, and the axiom of choice.Paul Howard - 2007 - Mathematical Logic Quarterly 53 (3):247-254.
    Two theorems are proved: First that the statement“there exists a field F such that for every vector space over F, every generating set contains a basis”implies the axiom of choice. This generalizes theorems of Halpern, Blass, and Keremedis. Secondly, we prove that the assertion that every vector space over ℤ2 has a basis implies that every well-ordered collection of two-element sets has a choice function.
    Download  
     
    Export citation  
     
    Bookmark   1 citation