Algebraic Set Theory
Return to AST main page.
Additional Resources and References
- The Categories Home Page.
Michael P. Fourman.
Sheaf models for set theory.
Journal of Pure and Applied Algebra, 19:91-101, 1980.
F. William Lawvere.
Elementary Theory of the Category of Sets.
Proceedings of the National Academy of Science, 52(6):1506-1511.
F. William Lawvere and Robert Rosebrugh.
Sets for Mathematics.
Cambridge University Press, 2004.
Website: Sets for Mathematics
Realizability, Set Theory and Term Extraction.
To appear in Cahiers du centre de logique de l'Universite Catholique de Louvain, vol. 8.
See also Vaughan Pratt's other site.
Category-theoretic models for intuitionistic set theory.
Manuscript slides of a talk given at Carnegie-Mellon University in 1985
(additions made in September 1998).
Intuitionistic Sets and Ordinals.
Journal of Symbolic Logic, 61:705-744, 1996.
For a copy of this paper and more information see Paul Taylor's website about
induction, recursion, replacement and the ordinals as well as sections 6.3, 6.7 and 9.5 of
Practical Foundations of Mathematics (Cambridge, 1999).
Contact the webmaster.