Switch to: Citations

Add references

You must login to add references.
  1. A completeness theorem for open maps.A. Joyal & I. Moerdijk - 1994 - Annals of Pure and Applied Logic 70 (1):51-86.
    This paper provides a partial solution to the completeness problem for Joyal's axiomatization of open and etale maps, under the additional assumption that a collection axiom holds.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A topos-theoretic approach to reference and modality.Gonzalo E. Reyes - 1991 - Notre Dame Journal of Formal Logic 32 (3):359-391.
    Download  
     
    Export citation  
     
    Bookmark   12 citations