{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T16:53:04Z","timestamp":1753894384161,"version":"3.41.2"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T00:00:00Z","timestamp":1642550400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["670624"],"award-info":[{"award-number":["670624"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100014013","name":"UK Research and Innovation","doi-asserted-by":"crossref","award":["EP\/T007257\/1"],"award-info":[{"award-number":["EP\/T007257\/1"]}],"id":[{"id":"10.13039\/100014013","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["837724"],"award-info":[{"award-number":["837724"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>A systematic theory of structural limits for finite models has been developed\nby Nesetril and Ossona de Mendez. It is based on the insight that the\ncollection of finite structures can be embedded, via a map they call the Stone\npairing, in a space of measures, where the desired limits can be computed. We\nshow that a closely related but finer grained space of (finitely additive)\nmeasures arises -- via Stone-Priestley duality and the notion of types from\nmodel theory -- by enriching the expressive power of first-order logic with\ncertain \"probabilistic operators\". We provide a sound and complete calculus for\nthis extended logic and expose the functorial nature of this construction.\n  The consequences are two-fold. On the one hand, we identify the logical gist\nof the theory of structural limits. On the other hand, our construction shows\nthat the duality theoretic variant of the Stone pairing captures the adding of\na layer of quantifiers, thus making a strong link to recent work on semiring\nquantifiers in logic on words. In the process, we identify the model theoretic\nnotion of types as the unifying concept behind this link. These results\ncontribute to bridging the strands of logic in computer science which focus on\nsemantics and on more algorithmic and complexity related areas, respectively.<\/jats:p>","DOI":"10.46298\/lmcs-18(1:16)2022","type":"journal-article","created":{"date-parts":[[2022,1,19]],"date-time":"2022-01-19T20:54:17Z","timestamp":1642625657000},"source":"Crossref","is-referenced-by-count":0,"title":["A duality theoretic view on limits of finite structures: Extended version"],"prefix":"10.46298","volume":"Volume 18, Issue 1","author":[{"given":"Mai","family":"Gehrke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Jakl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Reggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2022,1,19]]},"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/8978\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/8978\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T20:19:11Z","timestamp":1687292351000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/6996"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,19]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/lmcs-18(1:16)2022","relation":{"has-preprint":[{"id-type":"arxiv","id":"2012.09975v2","asserted-by":"subject"},{"id-type":"arxiv","id":"2012.09975v1","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2012.09975","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2012.09975","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2022,1,19]]},"article-number":"6996"}}