{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T05:06:17Z","timestamp":1777525577969,"version":"3.51.4"},"reference-count":16,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4003,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1016\/s0168-0072(01)00111-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:07:35Z","timestamp":1027580855000},"page":"187-203","source":"Crossref","is-referenced-by-count":6,"title":["More exact completions that are toposes"],"prefix":"10.1016","volume":"116","author":[{"given":"Mat\u0131\u0301as","family":"Menni","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0168-0072(01)00111-7_BIB1","doi-asserted-by":"crossref","unstructured":"L. Birkedal, Developing theories of types and computability via realizability, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1999.","DOI":"10.1016\/S1571-0661(05)80642-5"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB2","doi-asserted-by":"crossref","unstructured":"L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories, Proc. 13th Ann. Symp. on Logic in Computer Science, 1998, pp. 188\u2013198.","DOI":"10.1109\/LICS.1998.705655"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB3","series-title":"Handbook of Categorical Algebra 1","volume":"vol. 50","author":"Borceux","year":"1994"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0022-4049(94)00103-P","article-title":"Some free constructions in realizability and proof theory","volume":"103","author":"Carboni","year":"1995","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB5","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S0022-4049(99)00192-9","article-title":"Locally cartesian closed exact completions","volume":"154","author":"Carboni","year":"2000","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB6","unstructured":"F. de Marchi, E.P. Robinson, G. Rosolini, An abstract look at realizability, available from http:\/\/www.dcs.qmw.ac.uk\/\u00a0\u0303edmundr\/publications.html."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB7","series-title":"Topos Theory","author":"Johnstone","year":"1977"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB8","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1112\/plms\/s3-38.2.237","article-title":"On a topological topos","volume":"38","author":"Johnstone","year":"1979","journal-title":"Proc. London Math. Soc."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB9","first-page":"179","article-title":"Categories of spaces may not be generalized spaces as exemplified by directed graphs","volume":"20","author":"Lawvere","year":"1986","journal-title":"Rev. Colombiana Mat."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB10","doi-asserted-by":"crossref","unstructured":"P. Lietz, T. Streicher, Impredicativity entails untypedness, Math. Struct. Comput. Sci., to appear.","DOI":"10.1017\/S0960129502003663"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB11","unstructured":"J.R. Longley, Realizability toposes and language semantics, Ph.D. Thesis, Department of Computer Science, University of Edinburgh, available as ECS-LFCS-95-332, 1995."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB12","doi-asserted-by":"crossref","unstructured":"M. Menni, A characterization of the left exact categories whose exact completions are toposes, J. Pure Appl. Algebra, to appear.","DOI":"10.1016\/S0022-4049(02)00261-X"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB13","unstructured":"M. Menni, Exact completions and toposes, Ph.D. Thesis, University of Edinburgh, 2000, available from http:\/\/www.dcs.ed.ac.uk\/\u00a0\u0303matias\/."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB14","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0168-0072(96)00050-4","article-title":"Extensional realizability","volume":"84","author":"van Oosten","year":"1997","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0168-0072(01)00111-7_BIB15","unstructured":"J. van Oosten, Realizability: a historical essay, Preprint 1131, Department of Mathematics, Utrecht University, 2000."},{"key":"10.1016\/S0168-0072(01)00111-7_BIB16","unstructured":"G. Rosolini, Continuity and effectivity in topoi, Ph.D. Thesis, University of Oxford, 1986."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201001117?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007201001117?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T00:08:57Z","timestamp":1578442137000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007201001117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":16,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2002,8]]}},"alternative-id":["S0168007201001117"],"URL":"https:\/\/doi.org\/10.1016\/s0168-0072(01)00111-7","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}