{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:02Z","timestamp":1706650802931},"reference-count":17,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1995,7,1]]},"DOI":"10.1305\/ndjfl\/1040149353","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:24:28Z","timestamp":1046208268000},"source":"Crossref","is-referenced-by-count":3,"title":["On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic"],"prefix":"10.1215","volume":"36","author":[{"given":"Michael","family":"Makkai","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Beth, E., \u201cOn Padoa's method in the theory of definition,\" Indagationes Mathematic\u00e6<\/i>, vol. 15 (1953), pp. 330\u2013339. Zbl 0053.34402 MR 15,385e","DOI":"10.1016\/S1385-7258(53)50042-3"},{"key":"2","unstructured":"Bell, J., and M. Machover, A Course in Mathematical Logic<\/i>, North-Holland, Amsterdam, 1977. Zbl 0359.02001 MR 57:12155"},{"key":"3","unstructured":"Chang, C., and H. Keisler, Model Theory<\/i>, North-Holland, Amsterdam, 1973. Zbl 0276.02032 MR 53:12927"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Craig, W., \u201cLinear reasoning. A new form of the Herbrand-Gentzen theorem,\" The Journal of Symbolic Logic<\/i>, vol. 22 (1957), pp. 250\u2013268. Zbl 0081.24402 MR 21:3317","DOI":"10.2307\/2963593"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Gabbay D. M., \u201cSemantic proof of Craig's interpolation theorem for intuitionistic logic and extensions, Part I,\" pp. 391\u2013,402 in Logic Colloquium '69<\/i>, edited by R. O. Gandy and C. M. E. Yates, North-Holland, Amsterdam, 1969. MR 43:3094b","DOI":"10.1016\/S0049-237X(08)71239-4"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., Semantical Investigations in Heyting's Intuitionistic Logic<\/i>, Reidel, Dordrecht, 1981. Zbl 0453.03001 MR 83b:03012","DOI":"10.1007\/978-94-017-2977-2_6"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Gabriel, P., and F. Ulmer, \u201cLokal prasentierbare Kategorien,\" Lecture Notes in Mathematics<\/i>, vol. 221, Springer-Verlag, Berlin, 1971. MR 48:6205","DOI":"10.1007\/BFb0059396"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Joyal, A., and M. Tierney, \u201cAn extension of the Galois theory of Grothendieck,\" Memoirs of the American Mathematical Society<\/i>, vol. 51, American Mathematical Society, Providence, 1984. Zbl 0541.18002 MR 86d:18002","DOI":"10.1090\/memo\/0309"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Kripke, S., \u201cSemantical analysis of intuitionistic logic I,\" pp. 92\u2013130 in Formal Systems and Recursion Theory<\/i>, edited by S. N. Crossley and M. A. E. Dummett, North-Holland, Amsterdam, 1965. Zbl 0137.00702 MR 34:1184","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"10","unstructured":"MacLane, S., Categories for the Working Mathematician<\/i>, Springer-Verlag, Heidelberg, 1971. Zbl 0705.18001 MR 50:7275"},{"key":"11","unstructured":"Maehara, S., \u201cOn the interpolation theorem of Craig,\" (in Japanese) Sugaku<\/i>, vol. 12 (1960\/61), pp. 235\u2013237. Zbl 0123.24601 MR 29:3356"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Makkai, M., and G. E. Reyes, First Order Categorical Logic<\/i>, Lecture Notes in Mathematics, vol. 611, Springer-Verlag, Heidelberg, 1977. Zbl 0357.18002 MR 58:21600","DOI":"10.1007\/BFb0066201"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Makkai, M., \u201cUltraproducts in categorical logic,\" Lecture Notes in Mathematics<\/i>, vol. 1130 (1985), pp. 222\u2013309.","DOI":"10.1007\/BFb0075314"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Pitts, A., \u201cAn application of open maps to categorical logic,\" Journal of Pure and Applied Algebra<\/i>, vol. 29 (1983), pp. 313\u2013326. Zbl 0521.03051 MR 85c:03025","DOI":"10.1016\/0022-4049(83)90047-6"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Robinson, A., \u201cA result on consistency and its application to the theory of definition,\" Indagationes Mathematic\u00e6<\/i>, vol. 18 (1956), pp. 47\u201358. Zbl 0075.00701 MR 17,1172d","DOI":"10.1016\/S1385-7258(56)50008-X"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K., \u201cDer Interpolationsatz der intuitionistischen Pradikatenlogik,\" Mathematische Annalen<\/i>, vol. 148 (1962), pp. 192\u2013200.","DOI":"10.1007\/BF01470747"},{"key":"17","unstructured":"Street, R., \u201cFibrations in bicategories,\" Cahiers Topologie et Geometrie Differentielle<\/i>, vol. 21 (1980), pp. 111\u2013160. Zbl 0436.18005 MR 81f:18028"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040149353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:32Z","timestamp":1706649152000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-36\/issue-3\/On-Gabbays-Proof-of-the-Craig-Interpolation-Theorem-for-Intuitionistic\/10.1305\/ndjfl\/1040149353.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7,1]]},"references-count":17,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1995,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040149353","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7,1]]}}}