Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)An omniscience principle, the König Lemma and the Hahn‐Banach theorem.Hajime Ishihara - 1990 - Mathematical Logic Quarterly 36 (3):237-240.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)An omniscience principle, the König Lemma and the Hahn-Banach theorem.Hajime Ishihara - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):237-240.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Omniscience, sequential compactness, and the anti-Specker property.Douglas Bridges - 2011 - Logic Journal of the IGPL 19 (1):53-61.
    Working within Bishop-style constructive mathematics, we derive a number of results relating the nonconstructive LPO and sequential compactness property on the one hand, and the intuitionistically reasonable anti-Specker property on the other.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Geometric Intuition and Elementary Constructive Analysis.Douglas S. Bridges - 1979 - Mathematical Logic Quarterly 25 (33):521-523.
    Download  
     
    Export citation  
     
    Bookmark   1 citation