Switch to: Citations

Add references

You must login to add references.
  1. From Brouwerian counter examples to the creating subject.Dirk van Dalen - 1999 - Studia Logica 62 (2):305-314.
    The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the creating subject technique. The method allowed stronger refutations of classical principles. Here it is used to show that negative dense subsets of the continuum are indecomposable.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Primer of Infinitesimal Analysis.John Lane Bell - 1998 - Cambridge University Press.
    This is the first elementary book to employ the concept of infinitesimals.
    Download  
     
    Export citation  
     
    Bookmark   57 citations