Rethinking set theory

American Mathematical Monthly

Volumn 121, Issue 5, 2014, Pages 403-415

  Leinster, Tom ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84952912534     PISSN: 00029890     EISSN: 19300972     Source Type: Journal    
DOI: 10.4169/amer.math.monthly.121.05.403     Document Type: Review

References (18)

1. S. Axler, Down with determinants! Amer. Math. Monthly 102 (1995) 139-154.
2. J. C. Cole, Categories of sets and models of set theory, in Proceedings of the Bertrand Russell Memorial Logic Conference. Uldum 1971. Bertrand Russell Memorial Conference, Leeds, 1973. 351-399.
3. F. W. Lawvere, An elementary theory of the category of sets, Proc. Natl. Acad. Sci. USA 52 (1964) 1506-1511.
4. -, An elementary theory of the category of sets (long version) with commentary, Repr. Theory Appl. Categ. 12 (2005) 1-35, available at http://www.tac.mta.ca/tac/reprints/article3/11/trllabs.html.
5. F. W. Lawvere, R. Rosebrugh, Sets for Mathematics. Cambridge University Press, Cambridge, 2003.
6. S. MacLane, Mathematics: Form and Function. Springer, New York, 1986.
7. S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic. Springer, New York, 1994.
8. A. Mathias, The strength of MacLane set theory, Ann. Pure Appl. Logic 110 (2001) 107-234.
9. C. McLarty, Elementary Categories. Elementary Toposes. Oxford University Press, Oxford, 1992.
10. -, Numbers can be just what they have to, Noûs 27 (1993) 487-98.
11. -, Challenge axioms, final draft, email to Foundations of Mathematics mailing list, 6 February 1998, available at http://www.cs.nyu.edu/pipermail/fom.
12. -, Exploring categorical structuralism, Philos. Math. 12 (2004) 37-53.
13. -, A finite order arithmetic foundation for cohomology (2011), available at http://arxiv.org/abs/1102.1773.
14. W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972) 261-274.
15. G. Osius, Categorical set theory: a characterization of the category of sets, J. Pure Appl. Algebra 4 (1974) 79-119.
16. M. Tierney, Sheaf theory and the continuum hypothesis, in Toposes, Algebraic Geometry and Logic. Lecture Notes in Math., Vol. 274, Springer, Heidelberg, 1972. 13-42.
17. -, Axiomatic sheaf theory: some constructions and applications, in Proceedings of CIME Conference on Categories and Commutative Algebra. Varenna, 1971. Edizione Cremonese, Rome, 1973. 249-326.
18. T. Trimble, ETCS: building joins and coproducts (2008), available at http://ncatlab.org/nlab/show/Trimble+on+ETCS+III.