A duality theoretic view on limits of finite structures
From MaRDI portal
Publication:2200829
DOI10.1007/978-3-030-45231-5_16OpenAlexW3022751026MaRDI QIDQ2200829FDOQ2200829
Authors: Mai Gehrke, Tomáš Jakl, Luca Reggio
Publication date: 23 September 2020
Full work available at URL: https://arxiv.org/abs/1907.04036
Recommendations
finite model theoryformal languagesStone dualityfinitely additive measureslogic on wordsstructural limits
Cites Work
- Domain theory in logical form
- Duality and Equational Theory of Regular Languages
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Varieties of complex algebras
- Expressive power of monadic logics on words, trees, pictures, and graphs
- A model theory approach to structural limits.
- Duality for double quasioperator algebras via their canonical extensions
- Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
- Profinite Methods in Automata Theory
- Quantifiers on languages and codensity monads
- First-order limits, an analytical perspective
- Continuous domain theory in logical form
- Limits of schema mappings
- The pebbling comonad in finite model theory
- Pro-aperiodic monoids via saturated models
- Relating structure and power: comonadic semantics for computational resources (extended abstract)
- A unified approach to structural limits and limits of graphs with bounded tree-depth
Cited In (5)
- 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
- Title not available (Why is that?)
- Priestley duality for MV-algebras and beyond
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)