{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:40:03Z","timestamp":1706650803186},"reference-count":16,"publisher":"Duke University Press","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,7,1]]},"DOI":"10.1305\/ndjfl\/1039700744","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:00:08Z","timestamp":1046206808000},"source":"Crossref","is-referenced-by-count":0,"title":["Syntax and Semantics of the Logic $\\mathcal{L}^\\lambda_{\\omega\\omega}$"],"prefix":"10.1215","volume":"38","author":[{"given":"Carsten","family":"Butz","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"10","doi-asserted-by":"crossref","unstructured":"Henkin, L., \u201cCompleteness in the theory of types,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 15 (1950), pp. 81\u201391. Zbl 0039.00801 MR 12,70b","DOI":"10.2307\/2266967"},{"key":"1","unstructured":"Awodey, S., \u201cTopological representation of the $\\lambda$-calculus,\u201d Technical Report, Carnegie Mellon University, Pittsburgh, 1998. Zbl 0942.03015 MR 2001k:03025"},{"key":"2","doi-asserted-by":"crossref","unstructured":"Awodey, S., and C. Butz, \u201cTopological completeness for higher order logic,\u201d BRICS Report Series, RS-97-21, \\Acirc rhus University, \\Acirc rhus, 1997. Zbl 0977.03010 MR 2002a:03128","DOI":"10.7146\/brics.v4i21.18947"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Barr, M., and R. Par\u00e9, \u201cMolecular toposes,\u201d <i>Journal of Pure and Applied Algebra<\/i>, vol. 17 (1980), pp. 127\u201352. Zbl 0436.18002 MR 81d:18010","DOI":"10.1016\/0022-4049(80)90080-8"},{"key":"4","doi-asserted-by":"crossref","unstructured":"Boileau, A., and A. Joyal, \u201cLa logique des topos,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 46 (1981), pp. 6\u201316. Zbl 0544.03035 MR 82a:03063","DOI":"10.2307\/2273251"},{"key":"5","unstructured":"Butz, C., \u201cLogical and cohomological aspects of the space of points of a topos,\u201d Ph.D. Dissertation, Utrecht University, Utrecht, 1996."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Butz, C., and P. T. Johnstone, \u201cClassifying toposes for first order theories,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 91 (1998), pp. 33\u201358. Zbl 0893.03027 MR 99b:03081","DOI":"10.1016\/S0168-0072(97)00042-0"},{"key":"7","unstructured":"Butz, C., and I. Moerdijk, \u201cRepresenting topoi by topological groupoids,\u201d forthcoming in <i>Journal of Pure and Applied Algebra<\/i>. Zbl 0924.18002 MR 99i:18005"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Fourman, M. P., and D. S. Scott, \u201cSheaves and logic,\u201d pp. 302\u2013401 in <i>Applications of Sheaves, Lecture Notes in Mathematics 753<\/i>, edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott, Springer Verlag, New York, 1979. Zbl 0415.03053 MR 82d:03061","DOI":"10.1007\/BFb0061824"},{"key":"9","unstructured":"Freyd, P., and A. Scedrov, <i>Categories, Allegories<\/i>. North-Holland, Amsterdam, 1990. Zbl 0698.18002 MR 93c:18001"},{"key":"11","doi-asserted-by":"crossref","unstructured":"Johnstone, P. T., \u201cOpen maps of toposes,\u201d <i>Manuscripta Mathematica<\/i>, vol. 31 (1980), pp. 217\u201347. Zbl 0433.18002 MR 81f:18020","DOI":"10.1007\/BF01303275"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Joyal, A., and I. Moerdijk, \u201cToposes are cohomologically equivalent to spaces,\u201d <i>American Journal of Mathematics<\/i>, vol. 112 (1990), pp. 87\u201396. Zbl 0713.18004 MR 90m:18006","DOI":"10.2307\/2374854"},{"key":"13","unstructured":"Kock, A., <i>Synthetic Differential Geometry<\/i>, Cambridge University Press, Cambridge, 1981. Zbl 0466.51008 MR 83f:51023"},{"key":"14","unstructured":"Lambek, J., and P. J. Scott, <i>Introduction to Higher-Order Categorical Logic<\/i>, Cambridge University Press, Cambridge, 1983. Zbl 0596.03002 MR 88a:03032"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Makkai, M., and G. E. Reyes, <i>First Order Categorical Logic<\/i>, <i> Lecture Notes in Mathematics 611<\/i>, Springer Verlag, Berlin, 1977. Zbl 0357.18002 MR 58:21600","DOI":"10.1007\/BFb0066201"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Palmgren, E., \u201cConstructive sheaf semantics,\u201d <i>Mathematical Logic Quarterly<\/i>, vol. 43 (1997), pp. 321\u201327. Zbl 0934.03051 MR 98g:03151","DOI":"10.1002\/malq.19970430304"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039700744","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:13:07Z","timestamp":1706649187000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-3\/Syntax-and-Semantics-of-the-Logic-mathcalLlambda_omegaomega\/10.1305\/ndjfl\/1039700744.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,7,1]]},"references-count":16,"journal-issue":{"issue":"3","published-online":{"date-parts":[[1997,7,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039700744","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,7,1]]}}}