Matches in SemOpenAlex for { <https://semopenalex.org/work/W2957828145> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2957828145 abstract "A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of measures, where the desired limits can be computed. We show that a closely related but finer grained space of measures arises --- via Stone-Priestley duality and the notion of types from model theory --- by enriching the expressive power of first-order logic with certain ``probabilistic operators''. We provide a sound and complete calculus for this extended logic and expose the functorial nature of this construction. The consequences are two-fold. On the one hand, we identify the logical gist of the theory of structural limits. On the other hand, our construction shows that the duality-theoretic variant of the Stone pairing captures the adding of a layer of quantifiers, thus making a strong link to recent work on semiring quantifiers in logic on words. In the process, we identify the model theoretic notion of types as the unifying concept behind this link. These results contribute to bridging the strands of logic in computer science which focus on semantics and on more algorithmic and complexity related areas, respectively." @default.
- W2957828145 created "2019-07-23" @default.
- W2957828145 creator A5028851521 @default.
- W2957828145 creator A5048253290 @default.
- W2957828145 creator A5079172282 @default.
- W2957828145 date "2021-03-23" @default.
- W2957828145 modified "2023-10-16" @default.
- W2957828145 title "A duality theoretic view on limits of finite structures" @default.
- W2957828145 cites W136390149 @default.
- W2957828145 cites W1582269801 @default.
- W2957828145 cites W1627175699 @default.
- W2957828145 cites W1985583002 @default.
- W2957828145 cites W1991748341 @default.
- W2957828145 cites W2139772363 @default.
- W2957828145 cites W2139845245 @default.
- W2957828145 cites W2140351059 @default.
- W2957828145 cites W2156304820 @default.
- W2957828145 cites W2165893511 @default.
- W2957828145 cites W2524361808 @default.
- W2957828145 cites W2574322328 @default.
- W2957828145 cites W2594593210 @default.
- W2957828145 cites W2613837134 @default.
- W2957828145 cites W2759067747 @default.
- W2957828145 cites W2810685260 @default.
- W2957828145 cites W2963659143 @default.
- W2957828145 cites W3007353884 @default.
- W2957828145 cites W3147751637 @default.
- W2957828145 doi "https://doi.org/10.26226/morressier.604907f51a80aac83ca25d69" @default.
- W2957828145 hasPublicationYear "2021" @default.
- W2957828145 type Work @default.
- W2957828145 sameAs 2957828145 @default.
- W2957828145 citedByCount "0" @default.
- W2957828145 crossrefType "posted-content" @default.
- W2957828145 hasAuthorship W2957828145A5028851521 @default.
- W2957828145 hasAuthorship W2957828145A5048253290 @default.
- W2957828145 hasAuthorship W2957828145A5079172282 @default.
- W2957828145 hasBestOaLocation W29578281452 @default.
- W2957828145 hasConcept C144237770 @default.
- W2957828145 hasConcept C199343813 @default.
- W2957828145 hasConcept C202444582 @default.
- W2957828145 hasConcept C2777686260 @default.
- W2957828145 hasConcept C2778023678 @default.
- W2957828145 hasConcept C33923547 @default.
- W2957828145 hasConcept C71924100 @default.
- W2957828145 hasConceptScore W2957828145C144237770 @default.
- W2957828145 hasConceptScore W2957828145C199343813 @default.
- W2957828145 hasConceptScore W2957828145C202444582 @default.
- W2957828145 hasConceptScore W2957828145C2777686260 @default.
- W2957828145 hasConceptScore W2957828145C2778023678 @default.
- W2957828145 hasConceptScore W2957828145C33923547 @default.
- W2957828145 hasConceptScore W2957828145C71924100 @default.
- W2957828145 hasLocation W29578281451 @default.
- W2957828145 hasLocation W29578281452 @default.
- W2957828145 hasLocation W29578281453 @default.
- W2957828145 hasLocation W29578281454 @default.
- W2957828145 hasLocation W29578281455 @default.
- W2957828145 hasLocation W29578281456 @default.
- W2957828145 hasOpenAccess W2957828145 @default.
- W2957828145 hasPrimaryLocation W29578281451 @default.
- W2957828145 hasRelatedWork W1557945163 @default.
- W2957828145 hasRelatedWork W1969999722 @default.
- W2957828145 hasRelatedWork W1985218657 @default.
- W2957828145 hasRelatedWork W1998719458 @default.
- W2957828145 hasRelatedWork W2049799979 @default.
- W2957828145 hasRelatedWork W2057800505 @default.
- W2957828145 hasRelatedWork W2096753949 @default.
- W2957828145 hasRelatedWork W2272185638 @default.
- W2957828145 hasRelatedWork W3106133691 @default.
- W2957828145 hasRelatedWork W4249580765 @default.
- W2957828145 isParatext "false" @default.
- W2957828145 isRetracted "false" @default.
- W2957828145 magId "2957828145" @default.
- W2957828145 workType "article" @default.