Switch to: Citations

Add references

You must login to add references.
  1. Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods.David Pincus - 1972 - Journal of Symbolic Logic 37 (4):721-743.
  • Algebraic closure without choice.Bernhard Banaschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
    This note shows that for the proof of the existence and uniqueness of the algebraic closure of a field one needs only the Boolean Ultrafilter Theorem.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Algebraic closure without choice.Bernhard Banaschewski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):383-385.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Algebraic Closure Without Choice.Bernahrd Banschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
    This note shows that for the proof of the existence and uniqueness of the algebraic closure of a field one needs only the Boolean Ultrafilter Theorem.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation