Switch to: References

Add citations

You must login to add citations.
  1. The Kripke schema in metric topology.Robert Lubarsky, Fred Richman & Peter Schuster - 2012 - Mathematical Logic Quarterly 58 (6):498-501.
    A form of Kripke's schema turns out to be equivalent to each of the following two statements from metric topology: every open subspace of a separable metric space is separable; every open subset of a separable metric space is a countable union of open balls. Thus Kripke's schema serves as a point of reference for classifying theorems of classical mathematics within Bishop-style constructive reverse mathematics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations