A duality theoretic view on limits of finite structures

DOI10.1007/978-3-030-45231-5_16OpenAlexW3022751026MaRDI QIDQ2200829

Mai Gehrke, Luca Reggio, Tomáš Jakl

Publication date: 23 September 2020

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

zbMATH Keywords

Stone dualityformal languagesfinite model theoryfinitely additive measureslogic on wordsstructural limits

Mathematics Subject Classification ID

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

Related Items (2)

Priestley duality for MV-algebras and beyond ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• First-order limits, an analytical perspective
• Domain theory in logical form
• Limits of schema mappings
• Relating structure and power: comonadic semantics for computational resources (extended abstract)
• Duality for double quasioperator algebras via their canonical extensions
• Varieties of complex algebras
• Duality and Equational Theory of Regular Languages
• Pro-aperiodic monoids via saturated models
• A Model Theory Approach to Structural Limits
• Continuous Domain Theory in Logical Form
• A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth
• Quantifiers on languages and codensity monads
• Profinite Methods in Automata Theory
• Representation of Distributive Lattices by means of ordered Stone Spaces

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