A duality theoretic view on limits of finite structures

DOI10.1007/978-3-030-45231-5_16MaRDI QIDQ2200829zbMATH OpenOpenAlexFDO

Authors Mai Gehrke, Tomáš Jakl, Luca Reggio

Publication date 23 September 2020

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1907.04036

zbMATH Keywords

finite model theoryformal languagesStone dualityfinitely additive measureslogic on wordsstructural limits

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• Publication:5028470
• First-order limits, an analytical perspective
• A model theory approach to structural limits.
• Structural limits and approximations of mappings
• Semantic limits of dense combinatorial objects

Cites work

• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• A model theory approach to structural limits.
• A unified approach to structural limits and limits of graphs with bounded tree-depth
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Continuous domain theory in logical form
• Domain theory in logical form
• Duality and Equational Theory of Regular Languages
• Duality for double quasioperator algebras via their canonical extensions
• Expressive power of monadic logics on words, trees, pictures, and graphs
• First-order limits, an analytical perspective
• Limits of schema mappings
• Pro-aperiodic monoids via saturated models
• Profinite Methods in Automata Theory
• Quantifiers on languages and codensity monads
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The pebbling comonad in finite model theory
• Varieties of complex algebras

Cited in

(5)

• scientific article; zbMATH DE number 7471705 (Why is no real title available?)
• Priestley duality for MV-algebras and beyond
• Duality theorems for finite structures (characterising gaps and good characterisations)
• A duality theoretic view on limits of finite structures
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

This page was built for publication: A duality theoretic view on limits of finite structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200829)