Strong conceptual completeness for first-order logic

Barr, 1971, Exact categories, 226, 1 Barr, 1986, Representation of categories, J. Pure Appl. Algebra, 41, 113, 10.1016/0022-4049(86)90105-2 Benabou, 1967, Introduction to bicategories, 47, 1 Chang, 1973 Mac Lane, 1971 Gray, 1974, Formal Category Theory: Adjointness for 2-Categories, 391 Gabriel, 1971, Lokal prasentierbare Kategorien, 221 Kelly, 1982, Basic Concepts of Enriched Category Theory Kock, 1977, Doctrines in categorical logic, Chapter A.8 Kelly, 1974, Review of the elements of 2-categories, 420, 75 Lair, 1981, Categories modelables et categories esquissables, Diagrammes, 6 Lambek, 1979, A general Stone-Gelfand duality, Trans. Amer. Math. Soc., 248, 1 Makkai, 1982, Stone duality for first order logic, 217 Makkai, 1987, Stone duality for first order logic, Advances in Math., 65, 97, 10.1016/0001-8708(87)90020-X Makkai, 1984, A Stone-type representation theory for first order logic, 30, 175 Makkai, 1980, On full embeddings I, J. Pure Appl. Algebra, 16, 183, 10.1016/0022-4049(80)90015-8 Makkai, 1985, Ultraproducts and categorical logic, 1130, 222 M. Makkai and R. Pare, Accessible categories, to appear. Makkai, 1977, First order Categorical Logic, 611 A.M. Pitts, Interpolation and conceptual completeness for pretoposes via category theory, in: Mathematical Logic and Theoretical Computer Science, Lecture Notes in Pure and Appl. Math. Series 107. A.M. Pitts, Conceptual completeness for first order intuitionistic logic: an application of categorical logic, Ann. Pure Appl. Logic, to appear. Street, 1980, Fibrations in bicategories, Cahiers Topologie Ge´om. Diffe´rentielle, 21, 111 Artin, 1972, Theory des Topos et Cohomologie Etale des Schemas, 269 and 270