Hostname: page-component-cd9895bd7-p9bg8 Total loading time: 0 Render date: 2024-12-22T10:47:20.441Z Has data issue: false hasContentIssue false
  • English
  • Français

A Brief Introduction to Algebraic Set Theory

Published online by Cambridge University Press:  15 January 2014

Steve Awodey
Steve Awodey*
Affiliation:
Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA 15213, USAE-mail: awodey@cmu.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of ways, such as topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright.

Type
Research Article
Information
Bulletin of Symbolic Logic , Volume 14 , Issue 3 , September 2008 , pp. 281 - 298
Copyright
Copyright © Association for Symbolic Logic 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Aczel, P., The type theoretic interpretation of constructive set theory, Logic Colloquium ‘77 (MacIntyre, A. et al., editors), North-Holland, Amsterdam, 1978, pp. 55–66.CrossRefGoogle Scholar
[2] Aczel, P. and Rathjen, M., Notes on constructive set theory, Technical Report 40, Institut Mittag-Leffler (Royal Swedish Academy of Sciences), 2001.Google Scholar
[3] Algebraic set theory, www.phil.cmu.edu/projects/ast. Google Scholar
[4] Awodey, S., Category theory, Oxford Logic Guides 49, Oxford University Press, 2006.CrossRefGoogle Scholar
[5] Awodey, S., Butz, C., Simpson, A., and Streicher, T., Relating first-order set theories and elementary toposes, this Bulletin, vol. 13 (2007), no. 3, pp. 340–358, (Research announcement).Google Scholar
[6] Awodey, S., Relating first-order set theories, elementary toposes and categories of classes, in preparation, 2007, Preliminary version available at [3].Google Scholar
[7] Awodey, S. and Forssell, H., Algebraic models of intuitionistic theories of sets and classes, Theory and Applications of Categories, vol. 15 (2005), no. 1, pp. 147–163.Google Scholar
[8] Awodey, S., Forssell, H., and Warren, M., Algebraic models of sets and classes in categories ofideals, Preliminary version available at [3].Google Scholar
[9] Awodey, S., Gambino, N., Lumsdaine, P., and Warren, M., A general construction of internal sheaves in algebraic set theory, Preliminary version available at [3].Google Scholar
[10] Awodey, S. and Warren, M.A., Predicative algebraic set theory, Theory and Applications of Categories, vol. 15 (2005), no. 1, pp. 1–39.Google Scholar
[11] Van Den Berg, B., Predicative topos theory and models for constructive set theory, Doctoral thesis, Mathematics Department, University of Utrecht, The Netherlands, 2006.Google Scholar
[12] Van Den Berg, B., Sheaves for predicative toposes, to appear in Archive for Mathematical Logic. Preliminary version available at [3].Google Scholar
[13] Van Den Berg, B. and Moerdijk, I., A unified approach to algebraic set theory, Preliminary version available at [3].Google Scholar
[14] Van Den Berg, B., Aspects of predicative algebraic set theory T. Exact completion, Preliminary version available at [3].Google Scholar
[15] Van Den Berg, B., Aspects of predicative algebraic set theory IT. Realizability, Preliminary version available at [3].Google Scholar
[16] Blass, A. and Scedrov, A., Classifying topoi and finite forcing, Journal of Pure and Applied Algebra, vol. 28 (1983), pp. 111–140.CrossRefGoogle Scholar
[17] Bunge, M., Topos theory and Suslins hypothesis, Journal of Pure and Applied Algebra, vol. 4 (1974), pp. 159–187.CrossRefGoogle Scholar
[18] Butz, C., Bernays-Godel type theory, Journal of Pure and Applied Algebra, vol. 178 (2003), no. 1, pp. 1–23.CrossRefGoogle Scholar
[19] Fourman, M. P., Sheaf models for set theory, Journal of Pure and Applied Algebra, vol. 19 (1980), pp. 91–101.CrossRefGoogle Scholar
[20] Fourman, M. P. and Scott, D. S., Sheaves and logic, Applications of sheaf theory to algebra, analysis, and topology (Fourman, M. P., Mulvey, C. J., and Scott, D. S., editors), Lecture Notes in Mathematics 753, Springer-Verlag, 1979, pp. 302–401.Google Scholar
[21] Friedman, H., The consistency of classical set theory relative to a set theory with intuitionistic logic, The Journal of Symbolic Logic, vol. 38 (1973), pp. 315–319.CrossRefGoogle Scholar
[22] Friedman, H., Set-theoretic foundations for constructive analysis, Annals of Mathematics, vol. 105 (1977), pp. 868–870.CrossRefGoogle Scholar
[23] Gambino, N., Presheaf models of constructive set theories, From sets and types to topology and analysis (Crosilla, Laura and Schuster, Peter, editors), Oxford University Press, 2005, pp. 62–77.CrossRefGoogle Scholar
[24] Gambino, N., The associated sheaffunctor theorem in algebraic set theory, Annals of Pure and Applied Logic, forthcoming.Google Scholar
[25] Gambino, N. and Hyland, M., Well-founded trees and dependent polynomial functors, Proceedings of the TYPES 2003 (Berardi, S., Coppo, M., and Damiani, F., editors), Lecture Notes in Computer Science 3085, Springer, 2004, pp. 210–225.Google Scholar
[26] Hayashi, S., On set theories and toposes, Proceedings of the Logic Conference, Hakone, Lecture Notes in Mathematics 891, Springer, 1980.Google Scholar
[27] Hyland, M. E., The effective topos, The L. E. J. Brouwer Centenary Symposium (Troelstra, A. S. and Van Dalen, D., editors), North Holland, 1982, pp. 165–216.Google Scholar
[28] Johnstone, P. T., Sketches of an elephant, Oxford University Press, Oxford, 2003.Google Scholar
[29] Joyal, A. and Moerdljk, I., A categorical theory of cumulative hierarchies of sets, Comptes Rendus Mathématiques de l'Académie des Science, vol. 13 (1991), pp. 55–58.Google Scholar
[30] Joyal, A., A completeness theorem for open maps, Annals of Pure and Applied Logic, vol. 70 (1994), pp. 51–86.Google Scholar
[31] Joyal, A., Algebraic set theory, Cambridge University Press, Cambridge, 1995.Google Scholar
[32] Kouwenhoven-Gentil, C. and Van Oosten, J., Algebraic set theory and the effective topos, The Journal of Symbolic Logic, vol. 70 (2005), no. 3, pp. 879–890.CrossRefGoogle Scholar
[33] Lambek, J. and Scott, P., Introduction to higher-order categorical logic, Cambridge University Press, 1986.Google Scholar
[34] Lane, S. Mac, Categories for the working mathematician, Springer-Verlag, New York, 1971, 2nd edition, 1998.CrossRefGoogle Scholar
[35] Lane, S. Mac, Foundations by using categories with elements, 2000 Annual Meeting of the Association for Symbolic Logic, Urbana , in this Bulletin, vol. 6 (2000), no. 3, pp. 385–386.Google Scholar
[36] Lane, S. Mac and Moerdljk, I., Sheaves in geometry and logic, Springer-Verlag, Berlin, 1992.Google Scholar
[37] Mccarty, D. C., Realizability and recursive mathematics, D. Phil. Thesis, University of Oxford, 1984.Google Scholar
[38] Moerdljk, I. and Palmgren, E., Wellfounded trees in categories, Annals of Pure and Applied Logic, vol. 104 (2000), pp. 189–218.CrossRefGoogle Scholar
[39] Moerdljk, I., Type theories, toposes and constructive set theory: Predicative aspects of AST, Annals of Pure and Applied Logic, vol. 114 (2002), pp. 155–201.CrossRefGoogle Scholar
[40] Rummelhoff, I., Class categories and polymorphic Π1 types, Ph.D. thesis, University of Oslo, 2006.Google Scholar
[41] Scedrov, A., Consistency and independence results in intuitionistic set theory, Constructive mathematics, Lecture Notes in Mathematics 873, Springer, 1981.Google Scholar
[42] Scedrov, A., Forcing and classifying topoi, Memoirs ofthe American Mathematical Society, vol. 295 (1984).Google Scholar
[43] Simpson, A. K., Elementary axioms for categories of classes, Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, vol. 1999, pp. 77–85.Google Scholar
[44] Simpson, A. K., Computational adequacy for recursive types in models of intuitionistic set theory, Annals of Pure and Applied Logic, vol. 130 (2004), pp. 207–275.CrossRefGoogle Scholar
[45] Simpson, A. K., Constructive set theories and their category-theoretic models, From sets and types to topology and analysis (Crosilla, Laura and Schuster, Peter, editors), Oxford University Press, 2005, pp. 41–61.CrossRefGoogle Scholar
[46] Streicher, T., Universes in toposes, From sets and types to topology and analysis (Crosilla, Laura and Schuster, Peter, editors), Oxford University Press, 2005.Google Scholar
[47] Tierney, M., Sheaf theory and the continuum hypothesis, Toposes, algebraic geometry and logic, Lecture Notes in Mathematics 274, Springer, 1972, pp. 13–42.CrossRefGoogle Scholar
[48] Warren, M. A., Disjunction and existence in algebraic set theory, Preliminary version available at [3].Google Scholar
[49] Warren, M. A., Coalgebras in a category of classes, Annals of Pure and Applied Logic, vol. 146 (2007), no. 1, pp. 60–71.CrossRefGoogle Scholar