Switch to: References

Add citations

You must login to add citations.
  1. Derived rules for predicative set theory: an application of sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Choice and independence of premise rules in intuitionistic set theory.Emanuele Frittaion, Takako Nemoto & Michael Rathjen - 2023 - Annals of Pure and Applied Logic 174 (9):103314.
    Download  
     
    Export citation  
     
    Bookmark