Switch to: References

Add citations

You must login to add citations.
  1. On brouwer's definition of unextendable order.Carl J. Posy - 1980 - History and Philosophy of Logic 1 (1-2):139-149.
    It is argued that the tensed theory of the creative subject provides a natural formulation of the logic underlying Brouwer's notion of unextendable order and explains the link between that notion and virtual order. The tensed theory of the creative subject is also shown to be a useful tool for interpreting recent evidence about the stages of Brouwer's thinking concerning these two notions of order.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Analysing choice sequences.A. S. Troelstra - 1983 - Journal of Philosophical Logic 12 (2):197 - 260.
    Download  
     
    Export citation  
     
    Bookmark   12 citations