Set-Theoretical foundations of category theory

  • Solomon Feferman
  • G. Kreisel
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 106)


Abelian Group Free Variable Closure Condition Category Theory Mathematical Practice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    P. Freyd, Abelian categories, Harper and Row, New York, 1964.zbMATHGoogle Scholar
  2. [2]
    P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France., v. 90 (1962) pp. 323–448.MathSciNetzbMATHGoogle Scholar
  3. [3]
    K. Gödel, The consistency of the axiom of choice and the generalized continuum hypothesis, Annals of Math. Studies, V. 3, Princeton, 1951.Google Scholar
  4. [4]
    J. L. Kelley, General topology, Van Nostrand, Princeton.Google Scholar
  5. [5]
    G. Kreisel, Mathematical logic, pp. 95–195 in Lectures on Modern Mathematics, vol. III (ed. T.L. Saaty), Wiley, New York, 1965.Google Scholar
  6. [6]
    _____, Two notes on foundations, to appear in Dialectica.Google Scholar
  7. [7]
    G. Kreisel and J.-L. Krivine, Elements of mathematical logic; model theory, North-Holland, Amsterdam (1967).zbMATHGoogle Scholar
  8. [8]
    J.-L. Krivine, Theorie axiomatique des ensembles, Presses Univ. de France, Paris, 1969.zbMATHGoogle Scholar
  9. [9]
    W. F. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University, 1963.zbMATHGoogle Scholar
  10. [10]
    _____, The category of categories as a foundation for mathematics, pp. 1–20 in Proc. Conf. on Categorical Algebra, La Jolla 1965, New York, 1966.Google Scholar
  11. [11]
    A. Lévy, Axiom schemata of strong infinity in axiomatic set theory, Pacific J. Math. v. 10 (1960), pp. 223–238.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [12]
    S. Mac Lane, Locally small categories and the foundations of set theory, pp. 25–43 in Infinitistic methods, Oxford, 1961.Google Scholar
  13. [13]
    _____, Homology, Springer, Berlin, 1963.CrossRefzbMATHGoogle Scholar
  14. [14]
    _____, Categorical algebra, B.A.M.S. v. 71 (1965), pp. 40–106.MathSciNetCrossRefzbMATHGoogle Scholar
  15. [15]
    _____, Foundations of mathematics: category theory, pp. 286–294 in Contemporary Philosophy, A Survey, I, Logic and Foundations of Mathematics, R. Kiblansky, editor, Florence 1968.Google Scholar
  16. [16]
    _____, Foundations for categories and sets, Proc. 1968 Conference on Category Theory and its applications, Battelle Institute, to appear.Google Scholar
  17. [17]
    R. Montague and R. L. Vaught, Natural models of set theories, Fund. Math. v. 47 (1959), pp. 219–242.MathSciNetzbMATHGoogle Scholar
  18. [18]
    A. Mostowski, Some impredicative definitions in the axiomatic set-theory, Fund. Math. v. 37 (1950), pp. 111–124.MathSciNetzbMATHGoogle Scholar
  19. [19]
    A. Robinson, Introductio mathematics of algebra Google Scholar
  20. [20]
    H. Wang, Truth definitio A.M.S. v. 73 (1962), pp.Google Scholar
  21. [21]
    E. Zermelo, Über Grenzzahlen und Mengenbereiche, Fund. Math. v. 16 (1930), pp. 29–47.zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1969

Authors and Affiliations

  • Solomon Feferman
  • G. Kreisel

There are no affiliations available

Personalised recommendations