{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T10:27:29Z","timestamp":1775644049762,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2008,8,8]],"date-time":"2008-08-08T00:00:00Z","timestamp":1218153600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1007\/s10485-008-9151-6","type":"journal-article","created":{"date-parts":[[2008,8,7]],"date-time":"2008-08-07T13:52:20Z","timestamp":1218117140000},"page":"517-559","source":"Crossref","is-referenced-by-count":3,"title":["Model-theoretic Imaginaries and Coherent Sheaves"],"prefix":"10.1007","volume":"17","author":[{"given":"Ravi","family":"Rajani","sequence":"first","affiliation":[]},{"given":"Mike","family":"Prest","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,8]]},"reference":[{"key":"9151_CR1","volume-title":"London Mathematical Society Lecture Notes Series, vol. 189","author":"J. Ad\u00e1mek","year":"1994","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally presentable and accessible categories. In: London Mathematical Society Lecture Notes Series, vol. 189. Cambridge University Press, Cambridge (1994)"},{"key":"9151_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/B978-0-12-339050-9.50006-7","volume-title":"Algebra, Topology and Category Theory","author":"M. Auslander","year":"1976","unstructured":"Auslander, M.: Large modules over Artin algebras. In: Algebra, Topology and Category Theory, pp. 1\u201317. Academic, New York (1976)"},{"key":"9151_CR3","volume-title":"Handbook of categorical algebra. Encyclopedia of Mathematics and Applications, vol. 1\u20133","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of categorical algebra. Encyclopedia of Mathematics and Applications, vol. 1\u20133. Cambridge University Press, Cambridge (1994)"},{"key":"9151_CR4","doi-asserted-by":"crossref","first-page":"57","DOI":"10.4064\/fm-47-1-57-103","volume":"47","author":"S. Feferman","year":"1959","unstructured":"Feferman, S., Vaught, R.L.: The first order properties of algebraic systems. Fund. Math. 47, 57\u2013103 (1959)","journal-title":"Fund. Math."},{"key":"9151_CR5","unstructured":"Burke, K.: Some model-theoretic properties of functor categories for modules. Doctoral Thesis, University of Manchester (1994)"},{"key":"9151_CR6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1090\/S0002-9947-1993-1091706-3","volume":"340","author":"I. Herzog","year":"1993","unstructured":"Herzog, I.: Elementary duality of modules. Trans. Amer. Math. Soc. 340, 37\u201369 (1993)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9151_CR7","volume-title":"Model theory. Encyclopedia of Mathematics and Applications, vol. 42","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model theory. Encyclopedia of Mathematics and Applications, vol. 42. Cambridge University Press, Cambridge (1993)"},{"key":"9151_CR8","unstructured":"Hu, H.: Dualities for accessible categories. In: Canad. Math. Soc. Conf. Proc., vol. 13, pp. 211\u2013242 (1992)"},{"key":"9151_CR9","series-title":"LMS Monographs","volume-title":"Topos Theory","author":"P.T. Johnstone","year":"1977","unstructured":"Johnstone, P.T.: Topos Theory. LMS Monographs, no. 10. Academic, New York (1977)"},{"key":"9151_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198515982.001.0001","volume-title":"Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol. 1 & 2, nos. 43 & 44","author":"P.T. Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium. Oxford Logic Guides, vol. 1 & 2, nos. 43 & 44. Oxford University Press, Oxford (2002)"},{"issue":"1","key":"9151_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964333","volume":"25","author":"H.J. Keisler","year":"1960","unstructured":"Keisler, H.J.: Theory of models with generalized atomic formulas. J. Symbolic Logic 25(1), 1\u201326 (1960)","journal-title":"J. Symbolic Logic"},{"key":"9151_CR12","volume-title":"Studies in Logic and Foundations of Mathematics, vol. 73","author":"H.J. Keisler","year":"1990","unstructured":"Keisler, H.J., Chang, C.C.: Model theory, 3rd edn. In: Studies in Logic and Foundations of Mathematics, vol. 73. Elsevier Science, Amsterdam (1990)","edition":"3"},{"key":"9151_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.4064\/cm-75-1-105-132","volume":"75","author":"H. Krause","year":"1998","unstructured":"Krause, H.: Functors on locally finitely presented categories. Colloq. Math. 75, 105\u2013132 (1998)","journal-title":"Colloq. Math."},{"key":"9151_CR14","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, Berlin Heidelberg New York (1971)"},{"key":"9151_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic","author":"S. MacLane","year":"1992","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, Berlin Heidelberg New York (1992)"},{"key":"9151_CR16","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0168-0072(88)90019-X","volume":"40","author":"M. Makkai","year":"1988","unstructured":"Makkai, M.: Strong conceptual completeness for first-order logic. Ann. Pure Appl. Logic 40, 167\u2013215 (1988)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9151_CR17","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0168-0072(90)90036-2","volume":"47","author":"M. Makkai","year":"1990","unstructured":"Makkai, M.: A theorem on Barr-exact categories with an infinitary generalization. Ann. Pure Appl. Logic 47, 225\u2013268 (1990)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9151_CR18","doi-asserted-by":"crossref","DOI":"10.1090\/conm\/104","volume-title":"Accessible categories: the foundations of categorical model theory. Contemp. Math., vol. 104","author":"M. Makkai","year":"1989","unstructured":"Makkai, M., Par\u00e9, R.: Accessible categories: the foundations of categorical model theory. Contemp. Math., vol. 104. American Mathematical Society, Providence (1989)"},{"key":"9151_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0066201","volume-title":"First Order Categorical Logic. Springer Lecture Notes in Mathematics, vol. 611","author":"M. Makkai","year":"1977","unstructured":"Makkai, M., Reyes, G.: First Order Categorical Logic. Springer Lecture Notes in Mathematics, vol. 611. Springer, Berlin Heidelberg New York (1977)"},{"key":"9151_CR20","unstructured":"Moerdijk, I., Vermeulen, J.J.C.: Proof of a conjecture of Pitts. J. PureAppl.Algebra 143, 329\u2013338 (1999)"},{"key":"9151_CR21","volume-title":"Model Theory and Modules. London Math. Soc. Lecture Notes Ser., vol. 130","author":"M. Prest","year":"1988","unstructured":"Prest, M.: Model Theory and Modules. London Math. Soc. Lecture Notes Ser., vol. 130. Cambridge University Press, Cambridge (1988)"},{"key":"9151_CR22","unstructured":"Prest, M.: Definable additive categories: Purity and model theory. University of Manchester, Manchester (2008). Available online at http:\/\/eprints\/ma.man.ac.uk\/1097"},{"key":"9151_CR23","unstructured":"Prest, M.: Purity, Spectra and Localisation. Cambridge University Press (in press)"},{"key":"9151_CR24","first-page":"148","volume":"10","author":"J. Rosick\u00fd","year":"2002","unstructured":"Rosick\u00fd, J., Ad\u00e1mek, J., Borceux, F.: More on injectivity in locally presentable categories. Theory Appl. Categ. 10, 148\u2013161 (2002)","journal-title":"Theory Appl. Categ."},{"key":"9151_CR25","first-page":"445","volume-title":"Advances in Algebra and Model Theory","author":"Ph. Rothmaler","year":"1997","unstructured":"Rothmaler, Ph.: Purity in model theory. In: Advances in Algebra and Model Theory, pp. 445\u2013469. Gordon and Breach, New York (1997)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9151-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-008-9151-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-008-9151-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T03:23:36Z","timestamp":1709177016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-008-9151-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,8]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,12]]}},"alternative-id":["9151"],"URL":"https:\/\/doi.org\/10.1007\/s10485-008-9151-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,8]]}}}