{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T11:19:26Z","timestamp":1758280766257},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,1,23]],"date-time":"2019-01-23T00:00:00Z","timestamp":1548201600000},"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":["Semigroup Forum"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s00233-019-09994-z","type":"journal-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T17:27:12Z","timestamp":1548350832000},"page":"754-787","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Effective equivalence relations and principal quantales"],"prefix":"10.1007","volume":"99","author":[{"given":"Juan Pablo","family":"Quijano","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Resende","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,1,23]]},"reference":[{"issue":"1","key":"9994_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1017\/S0305004100068365","volume":"107","author":"M Bunge","year":"1990","unstructured":"Bunge, M.: An application of descent to a classification theorem for toposes. Math. Proc. Camb. Philos. Soc. 107(1), 59\u201379 (1990). \nhttps:\/\/doi.org\/10.1017\/S0305004100068365","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"2","key":"9994_CR2","first-page":"145","volume":"32","author":"A Kock","year":"1991","unstructured":"Kock, A.: Moerdijk, Ieke, Presentations of \u00e9tendues, English, with French summary. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 32(2), 145\u2013164 (1991)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"issue":"1","key":"9994_CR3","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2140\/pjm.1984.112.141","volume":"112","author":"A Kumjian","year":"1984","unstructured":"Kumjian, A.: On localizations and simple \n$$C^{\\ast } $$\n\n\n\n\nC\n*\n\n\n\n\n-algebras. Pac. J. Math. 112(1), 141\u2013192 (1984)","journal-title":"Pac. J. Math."},{"issue":"378\u2013468","key":"9994_CR4","doi-asserted-by":"publisher","first-page":"0001","DOI":"10.1016\/j.aim.2017.02.028","volume":"311","author":"G Kudryavtseva","year":"2017","unstructured":"Kudryavtseva, G., Lawson, M.V.: A perspective on non-commutative frame theory. Adv. Math. 311(378\u2013468), 0001\u20138708 (2017). \nhttps:\/\/doi.org\/10.1016\/j.aim.2017.02.028","journal-title":"Adv. Math."},{"issue":"117\u2013170","key":"9994_CR5","doi-asserted-by":"publisher","first-page":"0001","DOI":"10.1016\/j.aim.2013.04.022","volume":"244","author":"MV Lawson","year":"2013","unstructured":"Lawson, M.V., Lenz, D.H.: Pseudogroups and their \u00e9tale groupoids. Adv. Math. 244(117\u2013170), 0001\u20138708 (2013). \nhttps:\/\/doi.org\/10.1016\/j.aim.2013.04.022","journal-title":"Adv. Math."},{"issue":"3","key":"9994_CR6","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0305004108001667","volume":"145","author":"S Marcelino","year":"2008","unstructured":"Marcelino, S., Resende, P.: An algebraic generalization of Kripke structures. Math. Proc. Camb. Philos. Soc. 145(3), 549\u2013577 (2008)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"3","key":"9994_CR7","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1017\/S001309150800076X","volume":"53","author":"D Matsnev","year":"2010","unstructured":"Matsnev, D., Resende, P.: \u00c9tale groupoids as germ groupoids and their base extensions. Proc. Edinb. Math. Soc. (2) 53(3), 765\u2013785 (2010). \nhttps:\/\/doi.org\/10.1017\/S001309150800076X","journal-title":"Proc. Edinb. Math. Soc. (2)"},{"issue":"2","key":"9994_CR8","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1090\/S0002-9947-1988-0973173-9","volume":"310","author":"I Moerdijk","year":"1988","unstructured":"Moerdijk, I.: The classifying topos of a continuous groupoid. Trans. Am. Math. Soc. 310(2), 629\u2013668 (1988)","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"9994_CR9","first-page":"137","volume":"31","author":"I Moerdijk","year":"1990","unstructured":"Moerdijk, I.: The classifying topos of a continuous groupoid. II, Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 31(2), 137\u2013168 (1990)","journal-title":"II, Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"9994_CR10","series-title":"Cambridge Studies in Advanced Mathematics","doi-asserted-by":"publisher","first-page":"x+173","DOI":"10.1017\/CBO9780511615450","volume-title":"Introduction to Foliations and Lie Groupoids","author":"I Moerdijk","year":"2003","unstructured":"Moerdijk, I., Mr\u010dun, J.: Introduction to Foliations and Lie Groupoids. Cambridge Studies in Advanced Mathematics, vol. 91, p. x+173. Cambridge University Press, Cambridge (2003). \nhttps:\/\/doi.org\/10.1017\/CBO9780511615450"},{"issue":"2\u20133","key":"9994_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0022-4049(00)00059-1","volume":"159","author":"CJ Mulvey","year":"2001","unstructured":"Mulvey, C.J., Pelletier, J.W.: On the quantisation of points. J. Pure Appl. Algebra 159(2\u20133), 231\u2013295 (2001)","journal-title":"J. Pure Appl. Algebra"},{"key":"9994_CR12","series-title":"Progress in Mathematics","doi-asserted-by":"publisher","first-page":"xvi+274","DOI":"10.1007\/978-1-4612-1774-9","volume-title":"Groupoids, Inverse Semigroups, and Their Operator Algebras","author":"ALT Paterson","year":"1999","unstructured":"Paterson, A.L.T.: Groupoids, Inverse Semigroups, and Their Operator Algebras. Progress in Mathematics, vol. 170, p. xvi+274. Birkh\u00e4user Boston Inc., Boston (1999)"},{"issue":"2","key":"9994_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.4171\/JNCG\/90","volume":"6","author":"MC Protin","year":"2012","unstructured":"Protin, M.C., Resende, P.: Quantales of open groupoids. J. Noncommut. Geom 6(2), 199\u2013247 (2012). \nhttps:\/\/doi.org\/10.4171\/JNCG\/90","journal-title":"J. Noncommut. Geom"},{"key":"9994_CR14","unstructured":"Quijano, J.P.: Sheaves and functoriality of groupoid quantales, Univ. Lisboa, Doctoral Thesis (2018)"},{"key":"9994_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0091072","volume-title":"A Groupoid Approach to $$C^{\\ast } $$ C * -algebras","author":"J Renault","year":"1980","unstructured":"Renault, J.: A Groupoid Approach to \n$$C^{\\ast } $$\n\n\n\n\nC\n*\n\n\n\n\n-algebras. Lecture Notes in Mathematics, vol. 793. Springer, Berlin (1980)"},{"issue":"29\u201363","key":"9994_CR16","first-page":"0791","volume":"61","author":"J Renault","year":"2008","unstructured":"Renault, J.: Cartan subalgebras in \n$$C^*$$\n\n\n\n\nC\n\u2217\n\n\n\n\n-algebras. Ir. Math. Soc. Bull. 61(29\u201363), 0791\u20135578 (2008)","journal-title":"Ir. Math. Soc. Bull."},{"issue":"1","key":"9994_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.aim.2006.02.004","volume":"208","author":"P Resende","year":"2007","unstructured":"Resende, P.: \u00c9tale groupoids and their quantales. Adv. Math. 208(1), 147\u2013209 (2007)","journal-title":"Adv. Math."},{"issue":"1","key":"9994_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.jpaa.2011.05.002","volume":"216","author":"P Resende","year":"2012","unstructured":"Resende, P.: Groupoid sheaves as quantale sheaves. J. Pure Appl. Algebra 216(1), 41\u201370 (2012). \nhttps:\/\/doi.org\/10.1016\/j.jpaa.2011.05.002","journal-title":"J. Pure Appl. Algebra"}],"container-title":["Semigroup Forum"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-019-09994-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00233-019-09994-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00233-019-09994-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T00:07:47Z","timestamp":1579738067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00233-019-09994-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,23]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9994"],"URL":"https:\/\/doi.org\/10.1007\/s00233-019-09994-z","relation":{},"ISSN":["0037-1912","1432-2137"],"issn-type":[{"value":"0037-1912","type":"print"},{"value":"1432-2137","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,23]]},"assertion":[{"value":"24 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}