{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:06:33Z","timestamp":1762272393096},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math. Z."],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1007\/s00209-019-02274-0","type":"journal-article","created":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T12:38:50Z","timestamp":1554467930000},"page":"109-160","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["The six Grothendieck operations on o-minimal sheaves"],"prefix":"10.1007","volume":"294","author":[{"given":"M\u00e1rio J.","family":"Edmundo","sequence":"first","affiliation":[]},{"given":"Luca","family":"Prelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,1]]},"reference":[{"issue":"3","key":"2274_CR1","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2178\/jsl\/1245158089","volume":"74","author":"A Berarducci","year":"2009","unstructured":"Berarducci, A.: Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup. J. Symb. Logic 74(3), 891\u2013900 (2009)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"2274_CR2","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1142\/S0219061309000859","volume":"9","author":"A Berarducci","year":"2009","unstructured":"Berarducci, A., Fornasiero, A.: O-minimal cohomology: finiteness and invariance results. J. Math. Logic 9(2), 167\u2013182 (2009)","journal-title":"J. Math. Logic"},{"key":"2274_CR3","unstructured":"Benoist, O., Wittenberg, O.: On the integral Hodge conjecture for real varieties, I. pp. 64. \narXiv:1801.00872\n\n (2018)"},{"key":"2274_CR4","unstructured":"Benoist, O., Wittenberg, O.: On the integral Hodge conjecture for real varieties, II. pp. 56. \narXiv:1801.00873\n\n (2018)"},{"key":"2274_CR5","first-page":"151","volume-title":"Model Theory, Algebra and Geometry","author":"E Bierstone","year":"2000","unstructured":"Bierstone, E., Milman, P.: Sub-analytic geometry. In: Haskell, D., Pillay, A., Steinhorn, C. (eds.) Model Theory, Algebra and Geometry, vol. 39, pp. 151\u2013172. MSRI Publications, Cambridge (2000)"},{"key":"2274_CR6","doi-asserted-by":"crossref","unstructured":"Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Ergebnisse der Math. (3), vol. 36. Springer, Berlin (1998)","DOI":"10.1007\/978-3-662-03718-8"},{"key":"2274_CR7","doi-asserted-by":"crossref","unstructured":"Bredon, G.: Sheaf theory. In: Graduate Texts in Math., 2nd edn. vol. 170. Springer, New York (1997)","DOI":"10.1007\/978-1-4612-0647-7"},{"key":"2274_CR8","unstructured":"Coste, M.: An introduction to o-minimal geometry. Dip. Mat. Univ. Pisa, Dottorato di Ricerca in Matematica, Istituti Editoriali e Poligrafici Internazionali, Pisa (2000)"},{"key":"2274_CR9","doi-asserted-by":"publisher","first-page":"4587","DOI":"10.1093\/imrn\/rnt091","volume":"16","author":"A D\u2019Agnolo","year":"2014","unstructured":"D\u2019Agnolo, A.: On the Laplace transform for tempered holomorphic functions. Int. Math. Res. Not. 16, 4587\u20134623 (2014)","journal-title":"Int. Math. Res. Not."},{"issue":"1","key":"2274_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10240-015-0076-y","volume":"123","author":"A D\u2019Agnolo","year":"2016","unstructured":"D\u2019Agnolo, A., Kashiwara, M.: Riemann-Hilbert correspondence for holonomic D-modules. Publ. Math. Inst. Hautes \u00c9tud. Sci. 123(1), 69\u2013197 (2016)","journal-title":"Publ. Math. Inst. Hautes \u00c9tud. Sci."},{"key":"2274_CR11","doi-asserted-by":"crossref","unstructured":"Delfs, H.: Homology of locally semialgebraic spaces. In: Lecture Notes in Math, vol. 1484. Springer, Berlin (1991)","DOI":"10.1007\/BFb0093939"},{"key":"2274_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/BF01262039","volume":"178","author":"H Delfs","year":"1981","unstructured":"Delfs, H., Knebush, M.: Semi-algebraic topology over a real closed field II: basic theory of semi-algebraic spaces. Math. Z. 178, 175\u2013213 (1981)","journal-title":"Math. Z."},{"key":"2274_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.2307\/1971463","volume":"128","author":"J Denef","year":"1988","unstructured":"Denef, J., van den Dries, L.: \n$$p$$\n\n\n\np\n\n\n\n-adic and real subanalytic sets. Ann. Math. 128, 79\u2013138 (1988)","journal-title":"Ann. Math."},{"issue":"1\u20132","key":"2274_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/S0168-0072(99)00043-3","volume":"102","author":"M Edmundo","year":"2000","unstructured":"Edmundo, M.: Structure theorems for o-minimal expansions of groups. Ann. Pure Appl. Log. 102(1\u20132), 159\u2013181 (2000)","journal-title":"Ann. Pure Appl. Log."},{"issue":"2","key":"2274_CR15","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1142\/S0219061306000566","volume":"6","author":"M Edmundo","year":"2006","unstructured":"Edmundo, M., Jones, G., Peatfield, N.: Sheaf cohomology in o-minimal structures. J. Math. Log. 6(2), 163\u2013179 (2006)","journal-title":"J. Math. Log."},{"issue":"1","key":"2274_CR16","first-page":"1","volume":"233","author":"M Edmundo","year":"2016","unstructured":"Edmundo, M., Mamino, M., Prelli, L.: On definably proper maps. Fund. Math. Fund. Math. 233(1), 1\u201336 (2016)","journal-title":"Fund. Math. Fund. Math."},{"key":"2274_CR17","doi-asserted-by":"publisher","first-page":"940","DOI":"10.1016\/j.aim.2017.02.015","volume":"310","author":"M Edmundo","year":"2017","unstructured":"Edmundo, M., Mamino, M., Prelli, L., Ramakrishnan, J., Terzo, G.: On Pillay\u2019s conjecture in the general case. Adv. Math. 310, 940\u2013992 (2017)","journal-title":"Adv. Math."},{"issue":"4","key":"2274_CR18","doi-asserted-by":"publisher","first-page":"1259","DOI":"10.5802\/aif.2554","volume":"60","author":"M Edmundo","year":"2010","unstructured":"Edmundo, M., Prelli, L.: Poincar\u00e9\u2013Verdier duality in o-minimal structures. Ann. Inst. Fourier Grenoble 60(4), 1259\u20131288 (2010)","journal-title":"Ann. Inst. Fourier Grenoble"},{"issue":"1","key":"2274_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.5802\/cml.17","volume":"7","author":"M Edmundo","year":"2015","unstructured":"Edmundo, M., Prelli, L.: Invariance of o-minimal cohomology with definably compact supports. Conflu. Math. 7(1), 35\u201353 (2015)","journal-title":"Conflu. Math."},{"issue":"1","key":"2274_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.4064\/fm215-1-3","volume":"215","author":"M Edmundo","year":"2011","unstructured":"Edmundo, M., Terzo, G.: A note on generic subsets of definable groups. Fund. Math. 215(1), 53\u201365 (2011)","journal-title":"Fund. Math."},{"key":"2274_CR21","volume-title":"Th\u00e9orie des faisceaux","author":"R Godement","year":"1958","unstructured":"Godement, R.: Th\u00e9orie des faisceaux. Hermann, Paris (1958)"},{"key":"2274_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BF02699291","volume":"8","author":"A Grothendieck","year":"1961","unstructured":"Grothendieck, A., Dieudonn\u00e9, J.: Elements de g\u00e9ometrie alg\u00e9brique II. Inst. Hautes \u00c9tudes Sci. Publ. Math. 8, 5\u2013222 (1961)","journal-title":"Inst. Hautes \u00c9tudes Sci. Publ. Math."},{"key":"2274_CR23","doi-asserted-by":"crossref","unstructured":"Hartshorne, R.: Algebraic geometry. In: Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)","DOI":"10.1007\/978-1-4757-3849-0"},{"key":"2274_CR24","unstructured":"Hrushovski, E.: Valued fields, metastable groups, draft (2004). \nhttp:\/\/www.ma.huji.ac.il\/~ehud\/mst.pdf"},{"key":"2274_CR25","doi-asserted-by":"crossref","unstructured":"Hrushovski, E., Loeser, F.: Non-archimedean tame topology and stably dominated types. In: Annals Mathematics Studies, vol. 192. Princeton University Press, Princeton (2016)","DOI":"10.23943\/princeton\/9780691161686.001.0001"},{"key":"2274_CR26","doi-asserted-by":"publisher","first-page":"119","DOI":"10.2178\/jsl\/1174668387","volume":"72","author":"E Hrushovski","year":"2007","unstructured":"Hrushovski, E., Peterzil, Y.: A question of van den Dries and a theorem of Lipshitz and Robinson; not everything is standard. J. Symb. Log. 72, 119\u2013122 (2007)","journal-title":"J. Symb. Log."},{"issue":"2","key":"2274_CR27","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1090\/S0894-0347-07-00558-9","volume":"21","author":"E Hrushovski","year":"2008","unstructured":"Hrushovski, E., Peterzil, Y., Pillay, A.: Groups, measures and the NIP. J. Am. Math. Soc. 21(2), 563\u2013596 (2008)","journal-title":"J. Am. Math. Soc."},{"key":"2274_CR28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82783-9","volume-title":"Cohomology of Sheaves","author":"B Iversen","year":"1986","unstructured":"Iversen, B.: Cohomology of Sheaves. Universitext. Springer, Berlin (1986)"},{"key":"2274_CR29","unstructured":"Kayal, T., Raby, G.: Ensemble sous-analytiques: quelques propri\u00e9t\u00e9s globales. C. R. Acad. Sci. Paris Ser. I Math. 308, 521\u2013523 (1989)"},{"key":"2274_CR30","doi-asserted-by":"crossref","unstructured":"Kashiwara, M., Schapira, P.: Sheaves on manifolds. In: Grundlehren der Math., vol. 292. Springer, Berlin (1990)","DOI":"10.1007\/978-3-662-02661-8"},{"key":"2274_CR31","unstructured":"Kashiwara, M., Schapira, P.: Ind-sheaves. Ast\u00e9risque 271, (2001)"},{"key":"2274_CR32","doi-asserted-by":"crossref","unstructured":"Kashiwara, M., Schapira, P.: Categories and sheaves. In: Grundlehren der Math., vol. 332. Springer, Berlin (2006)","DOI":"10.1007\/3-540-27950-4"},{"key":"2274_CR33","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1112\/S0024609306018832","volume":"38","author":"L Lipshitz","year":"2006","unstructured":"Lipshitz, L., Robinson, Z.: Overconvergent real closed quantifier elimination. Bull. Lond. Math. Soc. 38, 897\u2013906 (2006)","journal-title":"Bull. Lond. Math. Soc."},{"key":"2274_CR34","unstructured":"Peterzil, Y., Starchenko, S.: Uniform definability of the Weierstrass \n$$\\wp $$\n\n\n\n\u2118\n\n\n\n-functions and generalized tori of dimension one. Sel. Math. (N.S.) 10(4), 525\u2013550 (2004)"},{"issue":"2","key":"2274_CR35","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1112\/S0024610799007528","volume":"59","author":"Y Peterzil","year":"1999","unstructured":"Peterzil, Y., Steinhorn, C.: Definable compactness and definable subgroups of o-minimal groups. J. Lond. Math. Soc. 59(2), 769\u2013786 (1999)","journal-title":"J. Lond. Math. Soc."},{"issue":"3","key":"2274_CR36","doi-asserted-by":"publisher","first-page":"1779","DOI":"10.4007\/annals.2011.173.3.11","volume":"173","author":"J Pila","year":"2011","unstructured":"Pila, J.: O-minimality and the Andr\u00e9-Oort conjecture for \n$${\\mathbb{C}}^n$$\n\n\n\n\n\nC\n\nn\n\n\n\n\n. Ann. Math. 173(3), 1779\u20131840 (2011)","journal-title":"Ann. Math."},{"key":"2274_CR37","unstructured":"Pila, J., Zannier, U.: Rational points in periodic analytic sets and the Manin-Mumford conjecture. Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Mat. Appl. 19(2), 149\u2013162 (2008)"},{"issue":"3","key":"2274_CR38","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1215\/S0012-7094-06-13336-7","volume":"133","author":"J Pila","year":"2006","unstructured":"Pila, J., Wilkie, A.J.: The rational points of a definable set. Duke Math. J. 133(3), 591\u2013616 (2006)","journal-title":"Duke Math. J."},{"issue":"4","key":"2274_CR39","doi-asserted-by":"publisher","first-page":"1165","DOI":"10.1017\/S0022481200027985","volume":"53","author":"A Pillay","year":"1988","unstructured":"Pillay, A.: Sheaves of continuous definable functions. J. Symb. Log. 53(4), 1165\u20131169 (1988)","journal-title":"J. Symb. Log."},{"issue":"2","key":"2274_CR40","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1142\/S0219061304000346","volume":"4","author":"A Pillay","year":"2004","unstructured":"Pillay, A.: Type-definability, compact Lie groups and o-minimality. J. Math. Log. 4(2), 147\u2013162 (2004)","journal-title":"J. Math. Log."},{"issue":"2","key":"2274_CR41","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1090\/S0002-9947-1986-0833697-X","volume":"295","author":"A Pillay","year":"1986","unstructured":"Pillay, A., Steinhorn, C.: Definable sets in ordered structures I. Trans. Am. Math. Soc. 295(2), 565\u2013592 (1986)","journal-title":"Trans. Am. Math. Soc."},{"key":"2274_CR42","doi-asserted-by":"publisher","first-page":"167","DOI":"10.4171\/RSMUP\/120-11","volume":"120","author":"L Prelli","year":"2008","unstructured":"Prelli, L.: Sheaves on subanalytic sites. Rend. Sem. Mat. Univ. di Padova 120, 167\u2013216 (2008)","journal-title":"Rend. Sem. Mat. Univ. di Padova"},{"key":"2274_CR43","doi-asserted-by":"publisher","first-page":"179","DOI":"10.4064\/fm-73-2-179-186","volume":"73","author":"ME Rudin","year":"1971","unstructured":"Rudin, M.E.: A normal space \n$$X$$\n\n\n\nX\n\n\n\n for which \n$$X\\times I$$\n\n\n\n\nX\n\u00d7\nI\n\n\n\n\n is not normal. Fund. Math. 73, 179\u2013186 (1971)","journal-title":"Fund. Math."},{"key":"2274_CR44","doi-asserted-by":"crossref","unstructured":"Schwartz, N.: The basic theory of real closed spaces, vol. 77, no. 397. In: Memoirs of the AMS (1989)","DOI":"10.1090\/memo\/0397"},{"key":"2274_CR45","unstructured":"van den Dries, L.: A generalization of Tarski-Seidenberg theorem and some nondefinability results. Bull. Am. Math. Soc. (N.S) 15, 189\u2013193 (1986)"},{"key":"2274_CR46","unstructured":"van den Dries, L.: Tame topology and o-minimal structures. In: London Math. Soc. Lecture Note Series, vol. 248. Cambridge University Press, Cambridge (1998)"},{"key":"2274_CR47","doi-asserted-by":"publisher","first-page":"183","DOI":"10.2307\/2118545","volume":"140","author":"L Dries van den","year":"1994","unstructured":"van den Dries, L., Macintyre, A., Marker, D.: The elementary theory of restricted analytic fields with exponentiation. Ann. Math. 140, 183\u2013205 (1994)","journal-title":"Ann. Math."},{"key":"2274_CR48","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1215\/S0012-7094-96-08416-1","volume":"84","author":"L Dries van den","year":"1996","unstructured":"van den Dries, L., Miller, C.: Geometric categories and o-minimal structures. Duke Math. J. 84, 497\u2013540 (1996)","journal-title":"Duke Math. J."},{"key":"2274_CR49","doi-asserted-by":"crossref","unstructured":"Verdier, J.L.: Dualit\u00e9 dans la cohomologie des espaces localment compact. Seminaire Bourbaki 300, (1965)","DOI":"10.1007\/978-3-662-21576-0_4"},{"key":"2274_CR50","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1090\/S0894-0347-96-00216-0","volume":"9","author":"A Wilkie","year":"1996","unstructured":"Wilkie, A.: Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function. J. Am. Math. Soc. 9, 1051\u20131094 (1996)","journal-title":"J. Am. Math. Soc."}],"container-title":["Mathematische Zeitschrift"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00209-019-02274-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00209-019-02274-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00209-019-02274-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T23:07:14Z","timestamp":1585609634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00209-019-02274-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,1]]},"references-count":50,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["2274"],"URL":"https:\/\/doi.org\/10.1007\/s00209-019-02274-0","relation":{},"ISSN":["0025-5874","1432-1823"],"issn-type":[{"value":"0025-5874","type":"print"},{"value":"1432-1823","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,1]]},"assertion":[{"value":"14 July 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 January 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}