{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:56:16Z","timestamp":1759146976871,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030887001"},{"type":"electronic","value":"9783030887018"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_18","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"292-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Polyadic Spaces and Profinite Monoids"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9457-7465","authenticated-orcid":false,"given":"J\u00e9r\u00e9mie","family":"Marqu\u00e8s","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","unstructured":"Almeida, J., et al.: The linear nature of pseudowords. In: Publicacions Matem\u00e0tiques, vol. 63, pp. 361\u2013422, July 2019. ISSN: 0214-1493. https:\/\/doi.org\/10.5565\/publmat6321901","DOI":"10.5565\/publmat6321901"},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Borceux, F.: Handbook of Categorical Algebra 1 - Basic Category Theory. Cambridge University Press, Cambridge (1994). https:\/\/doi.org\/10.1017\/CBO9780511525858","DOI":"10.1017\/CBO9780511525858"},{"key":"18_CR3","doi-asserted-by":"publisher","unstructured":"Doner, J.E., Mostowski, A., Tarski, A.: The elementary theory of well-odering - a metamathematical study. In: Logic Colloquium 1977. Studies in Logic and the Foundations of Mathematics, vol. 96, pp. 1\u201354. Elsevier (1978). https:\/\/doi.org\/10.1016\/S0049-237X(08)71988-8","DOI":"10.1016\/S0049-237X(08)71988-8"},{"issue":"7","key":"18_CR4","doi-asserted-by":"publisher","first-page":"2711","DOI":"10.1016\/j.jpaa.2015.12.007","volume":"220","author":"M Gehrke","year":"2016","unstructured":"Gehrke, M.: Stone duality, topological algebra, and recognition. J. Pure Appl. Algebra 220(7), 2711\u20132747 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"18_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-14162-1_13","volume-title":"Automata, Languages and Programming","author":"M Gehrke","year":"2010","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.\u00c9.: A topological approach to recognition. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 151\u2013162. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_13"},{"issue":"1","key":"18_CR6","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s11856-019-1947-6","volume":"234","author":"SJ van Gool","year":"2019","unstructured":"van Gool, S.J., Steinberg, B.: Pro-aperiodic monoids via saturated models. Israel J. Math. 234(1), 451\u2013498 (2019). https:\/\/doi.org\/10.1007\/s11856-019-1947-6","journal-title":"Israel J. Math."},{"key":"18_CR7","unstructured":"Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997). ISBN: 0521587131"},{"key":"18_CR8","unstructured":"Johnstone, P.: Stone Spaces, vol. xxi, p. 370. Cambridge University Press, Cambridge (1982). ISBN: 0521238935"},{"key":"18_CR9","unstructured":"Joyal, A.: Polyadic spaces and elementary theories. In: Notices of the American Mathematical Society, April 1971"},{"key":"18_CR10","unstructured":"Lambek, J., Scott, P.J.: Introduction to Higher Order Categorical Logic. Cambridge University Press, Cambridge (1986). ISBN: 0521246652"},{"key":"18_CR11","unstructured":"Lawvere, F.W.: Adjointness in foundations. In: Dialectica (1969). http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.386.6900"},{"key":"18_CR12","doi-asserted-by":"publisher","unstructured":"Marquis, J.-P., Reyes, G.E.: The history of categorical logic: 1963\u20131977. In: Sets and Extensions in the Twentieth Century. Handbook of the History of Logic, pp. 689\u2013800. Elsevier (2012). https:\/\/doi.org\/10.1016\/B978-0-444-51621-3.50010-4","DOI":"10.1016\/B978-0-444-51621-3.50010-4"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Pin, J.-E.: Logic on words. In: Current trends in theoretical computer science, pp. 254\u2013273. World Scientific Publishing (2001)","DOI":"10.1016\/S0304-3975(99)00155-3"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Rasiowa, H., Sikorski, R.: Proof of the completeness theorem of G\u00f6del. In: Fundamenta Mathematicae 37(1), 193\u2013200 (1950). http:\/\/eudml.org\/doc\/213213","DOI":"10.4064\/fm-37-1-193-200"},{"key":"18_CR15","unstructured":"Rosenstein, J.G.: Linear Orderings, vol. xvii, p. 487. Academic Press, New York (1981). ISBN: 0125976801"},{"issue":"10","key":"18_CR16","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1002\/malq.19830291005","volume":"29","author":"RAG Seely","year":"1983","unstructured":"Seely, R.A.G.: Hyperdoctrines, natural deduction and the beck condition. Math. Logic Q. 29(10), 505\u2013542 (1983). https:\/\/doi.org\/10.1002\/malq.19830291005","journal-title":"Math. Logic Q."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:51:47Z","timestamp":1634863907000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}