No CrossRef data available.
Article contents
F. William Lawvere. Introduction to part I. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 3–14. - Orville Keane. Abstract Horn theories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 15–50. - Hugo Volger. Completeness theorem for logical categories. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 51–86. - Hugo Volger. Logical categories, semantical categories and topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 87–100. - G. C. Wraith. Lectures on elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 114–206. - Gerhard Osius. Logical and set theoretical tools in elementary topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 297–346. - Gerhard Osius. A note on Kripke–Joyal semantics for the internal language of topoi. Model theory and topoi, A collection of lectures by various authors, edited by F. W. Lawvere, C. Maurer, and G. C. Wraith, Lecture notes in mathematics, vol. 445, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 349–354.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1981