Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
M. Artin, A. Grothendieck, and J.L. Verdier, Théorie des topos et cohomologie etale des schemas (SGA 4), Springer Lecture Notes Vol. 269 and 270 (1973).
M. Barr, Exact categories, in Barr, Grillet, and van Osdol, Exact categories and categories of sheaves, Springer Lecture Notes Vol. 236 (1971).
J. Benabou, Categories et logiques faibles, Oberwolfach Tagungsbericht 30/1973.
G. Birkhoff and O. Frink, Representation of lattices by sets, Trans.Amer.Math.Soc. 64, 299–316 (1948).
P.M. Cohn, Universal algebra, Harper and Row 1965.
K.-H. Diener, Über zwei Birkhoff-Frink'sche Struktursätze der allgemeinen Algebra, Archiv der Math. (Basel) 7, 339–345 (1956).
P. Gabriel and F. Ulmer, Lokal präsentierbare Kategorien, Springer Lecture Notes Vol. 221 (1971).
A. Kock, Strong functors and monoidal monads, Archiv der Math. (Basel) 23, 113–120 (1972).
A. Kock and G.C. Wraith, Elementary toposes, Aarhus Lecture Notes Series No. 30 (1971).
C. Kuratowski, Sur la notion d'énsemble fini, Fund.Math. 1 129–131 (1920).
F.W. Lawvere, Continuously variable sets; Algebraic geometry = Geometric logic, Preprint, Perugia 1973 (to appear in Proc.of the Logic Coll., Bristol 1973).
P. Lecouturier, Quantificateurs dans les topos élémentaires, Preprint, Université Nationale du Zaire, Kinshasa 1971–72.
C.J. Mikkelsen, Thesis, to appear.
C.J. Mikkelsen, On the internal completeness of elementary topoi, Oberwolfach Tagungsbericht 30/1973.
W. Mitchell, Boolean topoi and the theory of sets, Journal of pure and appl.algebra 2, 261–274 (1972).
G. Osius, The internal and external aspect of logic and set theory in elementary topoi, Oberwolfach Tagungsbericht 30/1973.
J. Schmidt, Über die Rolle der transfiniten Schlussweisen in einer allgemeinen Idealtheorie, Math.Nachr. 7, 165–182 (1952).
J. Schmidt, Mengenlehre, Bibliographisches Institut Mannheim, 1966.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Kock, A., Lecouturier, P., Mikkelsen, C.J. (1975). Some topos theoretic concepts of finiteness. In: Lawvere, F.W., Maurer, C., Wraith, G.C. (eds) Model Theory and Topoi. Lecture Notes in Mathematics, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061297
Download citation
DOI: https://doi.org/10.1007/BFb0061297
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07164-8
Online ISBN: 978-3-540-37495-4
eBook Packages: Springer Book Archive