A duality theoretic view on limits of finite structures: Extended version

12/17/2020
by   Mai Gehrke, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/09/2019

A duality theoretic view on limits of finite structures

The study of limits of sequences of finite structures plays a crucial ro...
research
07/30/2020

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

We identify and highlight certain landmark results in Samson Abramsky's ...
research
09/11/2022

The Complexity and Expressive Power of Second-Order Extended Logic

We study the expressive powers of SO-HORN^*, SO-HORN^r and SO-HORN^*r on...
research
03/07/2022

Topological duality for distributive lattices, and applications

This book is a course in Stone-Priestley duality theory, with applicatio...
research
01/03/2022

Duality for the existential fragment of first-order logic on words with numerical predicates of a fixed arity

This article fits in the area of research that investigates the applicat...
research
01/29/2023

Profinite lambda-terms and parametricity

Combining ideas coming from Stone duality and Reynolds parametricity, we...
research
04/03/2020

Duality of Session Types: The Final Cut

Duality is a central concept in the theory of session types. Since a fla...

Please sign up or login with your details

Forgot password? Click here to reset