Switch to: Citations

Add references

You must login to add references.
  1. Sheaves and Boolean valued model theory.George Loullis - 1979 - Journal of Symbolic Logic 44 (2):153-183.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Artin-Schreier theory for commutative regular rings.L. van den Dries - 1977 - Annals of Mathematical Logic 12 (2):113.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes.W. A. MacCaull - 1988 - Journal of Symbolic Logic 53 (4):1177-1187.
    Download  
     
    Export citation  
     
    Bookmark   2 citations