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
-
Jim Lipton.
Realizability, Set Theory and Term Extraction.
To appear in Cahiers du centre de logique de l'Universite Catholique de Louvain, vol. 8.
[DVI]
-
Vaughan Pratt
See also Vaughan Pratt's other site.
-
Dana Scott.
Category-theoretic models for intuitionistic set theory.
Manuscript slides of a talk given at Carnegie-Mellon University in 1985
(additions made in September 1998).
-
Paul Taylor.
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
his book
Practical Foundations of Mathematics (Cambridge, 1999).
Contact the webmaster.