Review: J. L. Bell, Toposes and local set theories: An introduction
J. Lambek
Source: Bull. Amer. Math. Soc. (N.S.) Volume 21, Number 2 (1989), 325-332.
Reviewed Works:
J. L. Bell, Toposes and local set theories: An introduction. Oxford Logic Guides: 14, Clarendon Press, Oxford, 1988, xii + 267 pp., $75.00. ISBN 0-19-853274-1
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bams/1183555325
References
M. Artin et al. (eds. ), Théorie des topos et cohomologie étale des schémas, Lecture Notes in Math., vol. 269, Springer-Verlag, Berlin and New York, 1972.
M. Barr, Toposes without points, J. Pure Appl. Algebra 5 (1974), 265-280.
Zentralblatt MATH:
0294.18009
Mathematical Reviews (MathSciNet):
MR409602
A. Boileau and A. Joyal, La logique des topos, J. Symbolic Logic 46 (1981), 6-16.
Zentralblatt MATH:
0544.03035
Mathematical Reviews (MathSciNet):
MR604873
A. Church, A foundation of the simple theory of types, J. Symbolic Logic 5 (1940), 56-88.
Jahrbuch database (Zbl):
66.1192.06
Mathematical Reviews (MathSciNet):
MR1931
S. Eilenberg and S. Mac Lane, General theory of natural equivalences, Trans. Amer. Math. Soc. 58 (1945), 231-294.
Zentralblatt MATH:
0061.09204
Mathematical Reviews (MathSciNet):
MR13131
P. Freyd, On proving that 1 is an indecomposable projective in various free categories, manuscript 1978.
K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, J. Monatsh. Math. Phys. 38 (1931), 173-198.
Jahrbuch database (Zbl):
57.0054.02
Mathematical Reviews (MathSciNet):
MR1549910
A. Grothendieck and J. L. Verdier, Topos, Artin et al. (eds. ) Lecture Notes in Math., vol. 269, Springer-Verlag, Berlin and New York, 1972, 229-515.
Zentralblatt MATH:
0256.18008
Mathematical Reviews (MathSciNet):
MR354653
L. A. Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81-91.
Zentralblatt MATH:
0039.00801
Mathematical Reviews (MathSciNet):
MR36188
P. T. Johnstone, Topos theory, London Mathematical Society Monographs, vol. 10, Academic Press, London 1977.
Zentralblatt MATH:
0368.18001
Mathematical Reviews (MathSciNet):
MR470019
S. A. Kripke, Semantic analysis of intuitionistic logic, I, J. N. Crossley et al. (eds.), Formal Systems and Recursive Functions, North-Holland Publ. Co., Amsterdam, 1965.
Zentralblatt MATH:
0137.00702
Mathematical Reviews (MathSciNet):
MR201300
J. Lambek, From types to sets, Advances in Math. 36 (1980), 113-164.
Zentralblatt MATH:
0436.03053
Mathematical Reviews (MathSciNet):
MR574645
J. Lambek, On the unity of algebra and logic, F. Borceux (ed.), Categorical Algebra and its Applications, Lecture Notes in Math., vol. 1348, Springer-Verlag, Berlin and New York, 1988, pp. 221-229.
Zentralblatt MATH:
0656.18002
Mathematical Reviews (MathSciNet):
MR975972
J. Lambek and P. J. Scott, Intuitionistic type theory and the free topos, J. Pure Appl. Algebra 19 (1980), 215-257.
Zentralblatt MATH:
0452.03049
Mathematical Reviews (MathSciNet):
MR593255
J. Lambek and P. J. Scott, New proofs of some intuitionistic principles, Z. Math. Logik Grundlag. Math. 29 (1983), 493-504.
Zentralblatt MATH:
0568.03030
Mathematical Reviews (MathSciNet):
MR723655
J. Lambek and P. J. Scott, Introduction to higher order categorical logic, Cambridge, Univ. Press, 1986.
Zentralblatt MATH:
0596.03002
Mathematical Reviews (MathSciNet):
MR856915
F. W. Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U. S. A. 52 (1964), 1506-1511.
Zentralblatt MATH:
0141.00603
Mathematical Reviews (MathSciNet):
MR172807
F. W. Lawvere, Introduction to toposes, algebraic geometry and logic, Lecture Notes in Math., vol. 274, Springer-Verlag, Berlin and New York, 1972, pp. 1-12.
Zentralblatt MATH:
0249.18015
Mathematical Reviews (MathSciNet):
MR376798
F. W. Lawvere, Variable quantities and variable structures in topoi, A. Heller et al. (eds.), Algebra, Topology and Category Theory, Academic Press, 1976, pp. 101-131.
Zentralblatt MATH:
0353.02043
Mathematical Reviews (MathSciNet):
MR419232
F. W. Lawvere et al. (eds.), Model theory and topoi, Lecture Notes in Math., vol. 445, Springer-Verlag, Berlin and New York, 1975.
Mathematical Reviews (MathSciNet):
MR376807
M. Makkai and G. E. Reyes, First order categorical logic, Lecture Notes in Math., vol. 661, Springer-Verlag, Berlin and New York, 1977.
Zentralblatt MATH:
0357.18002
Mathematical Reviews (MathSciNet):
MR505486
W. Mitchell, Boolean topoi and the theory of sets, J. Pure Appl. Algebra 2 (1972), 261-274.
Zentralblatt MATH:
0245.18001
Mathematical Reviews (MathSciNet):
MR319757
B. Russell and A. N. Whitehead, Principia Mathematica I-III, Cambridge Univ. Press, pp. 1910-1913.
Jahrbuch database (Zbl):
44.0068.01
M. Tierney, Sheaf theory and the continuum hypothesis, Toposes, Algebraic Geometry and Logic, F. W. Lawvere (ed.), Lecture Notes in Math., vol. 274, Springer-Verlag, Berlin and New York, 1972, pp. 13-42.
Zentralblatt MATH:
0244.18005
Mathematical Reviews (MathSciNet):
MR373888
H. Volger, Logical categories, semantical categories and topoi, Model Theory and Topoi, F. W. Lawvere et al. (eds.), Springer-Verlag, Berlin and New York, 1975, pp. 87-100.
Zentralblatt MATH:
0338.18002
Mathematical Reviews (MathSciNet):
MR376809
Bulletin (New Series) of the American Mathematical Society
