This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bénabou, J.: Structures algébriques dans les catégories. Thèse, Paris 1966
Bénabou, J.: Catégories et logiques faibles. Tagungsbericht 30, Oberwolfach, 7–8 (1973)
Bénabou, J.: Lectures on fibered categories. Montréal, 1974
Bénabou, J.: Théories relatives à un corpus. C.R. Acad. Sci. Paris, Série A, 281, 831–834 (1975)
Daigneault, A.: Lawvere's elementary theories and polyadic and cylindric algebras. Fund. Math. 66, 307–328 (1970)
Freyd, P.: On canonizing category theory or On functorializing model theory. A pamphlet. University of Pennsylvania, 1974
Henrard, P.: Le forcing et les classes de cothéories. Dissertation. Louvain, 1971
Henrard, P.: Weak elimination of quantifiers and cotheories. Bristol Logic Colloquium 1973. North Holland, 1975. 395–398
Hirschfeld, J.: Finite forcing, existential types and complete types. Preprint, 1975
Joyal, A.: Polyadic spaces. Notices Amer. Math. Soc. 18, 563 (1971)
Lawvere, F.W.: Functorial semantics of algebraic theories. Dissertation. Columbia University, New York, 1963
Lawvere, F.W.: Functorial semantics of algebraic theories. J.S.L. 31, 294 (1966)
Lawvere, F.W.: Theories as categorics and the completeness theorem. J.S.L. 32, 562 (1967)
Lawvere, F.W.: Continuously variable sets: algebraic geometry = geometric logic. Bristol Logic Colloqium 1973. North Holland 1975. 135–156
Lawvere, F.W.: Introduction to Part I in Model Theory and Topoi. Lecture Notes in Mathematics, 445, 3–14. Berlin and New York: Springer 1975
Lucas, Th.: Catégories polyadiques. Rapports Sém. Math. Pure, 49. Louvain-la-Neuve, 1974
Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Warszawa: Polish Scientific Publishers 1968
Roisin, J.-R.: Approche catégorique en théorie des modèles. Dissertation. Rapports Sém. Math. Pure 67. Louvain-la-Neuve 1977
Sacks, G.: Saturated Model Theory. Benjamin 1972
Simmons, H.: Companion theories (forcing in model theory). Rapports Sem. Math. Pure 54, 1975
Simmons, H.: Course on model theory. Louvain-la-Neuve 1975
Volger, H.: Logical categories. Dissertation. Dalhousie University, Halifax 1971
Volger, H.: Completeness theorem for logical categories. Lecture Notes in Mathematics 445, 51–86. Berlin and New York: Springer 1975
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Roisin, JR. (1979). On functorializing usual first-order model theory. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061837
Download citation
DOI: https://doi.org/10.1007/BFb0061837
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive