Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
6 Bibliography
Barr, M.: Exact categories, Springer Lecture Notes 236, (1971), p. 1–119
Freyd, P.: Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972), p. 1–76
Joyal, A.: The Gödel-Kripke-Mitchell-Barr-embedding theorem, Talk at the conference on category theory in Oberwolfach, July 72
Kock, A.; Mikkelsen, C.J.: Non-standard extensions in the theory of toposes, Aarhus Universitet Preprint Series 25 (1971/72)
Kock, A.; Wraith, G.C.: Elementary toposes, Aarhus Universitet Lecture Notes Series 30 (1971)
Lambek, J.: Deductive systems and categories I, II Math. Systems Theory 2 (1968), p. 287–318; Springer Lecture Notes 86 (1969), p. 76–122
Lambek, J.: Deductive systems and categories, Springer Lecture Notes 274 (1972), p. 57–82
Lawvere, F.W.: Functorial semantics of elementary theories, J. of Symb. Logic 31 (1966), p. 294 (abstract)
Lawvere, F.W.: Theories as categories and the completeness theorem, J. of Symb. Logic 32 (1967), p. 562 (abstract)
Lawvere, F.W.: Equality in hyperdoctrines and comprehension scheme as an adjoint functor, Proc. of the AMS, Symposia in Pure Math. 17, (1970), p. 1–14
Lawvere, F.W.: Quantifier and sheaves, Actes du Congrès Intern. des Math., Nice (1970), tome 1, p. 329–334
Lawvere, F.W.: Introduction to Springer Lecture Notes 274 (1972), p. 1–12
Mikkelsen, C.J.: Finite colimits in toposes, Talk at the conference on category theory in Oberwolfach, July 1972
Reyes, G.E.: Logique via faisceaux, Talk at the Congrès de Logique in Orléans, Sept. 1972
Robinson, A.: Non-standard analysis, North-Holland (1966)
Tierney, M.: Sheaf theory and the continuum hypothesis, Springer Lecture Notes 274 (1972), p. 13–42
Volger, H.: Logical categories, dissertation, Dalhousie University, Halifax, N.S. (1971)
Volger, H.: Completeness theorem for logical categories
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Volger, H. (1975). Logical categories, semantical categories and topoi. 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/BFb0061294
Download citation
DOI: https://doi.org/10.1007/BFb0061294
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