Switch to: References

Add citations

You must login to add citations.
  1. Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
    Download  
     
    Export citation  
     
    Bookmark  
  • Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts.Hans-Christoph Kotzsch - 2022 - Philosophia Mathematica 30 (1):88-102.
    Download  
     
    Export citation  
     
    Bookmark  
  • Up with Categories, Down with Sets; Out with Categories, In with Sets!Jonathan Kirby - forthcoming - Philosophia Mathematica:nkae010.
    Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.
    Download  
     
    Export citation  
     
    Bookmark