scientific article; zbMATH DE number 7471705
From MaRDI portal
Publication:5028470
Tomáš Jakl, Luca Reggio, Mai Gehrke
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2012.09975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stone dualityformal languagesfinite model theoryfinitely additive measureslogic on wordsstructural limits
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effect algebras and unsharp quantum logics.
- 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)
- Priestley duality for MV-algebras and beyond
- A duality theoretic view on limits of finite structures
- Duality for double quasioperator algebras via their canonical extensions
- Varieties of complex algebras
- Duality and Equational Theory of Regular Languages
- Almost everywhere elimination of probability quantifiers
- A Complete Deductive System for Probability Logic
- Zero-one law for an extension of first-order predicate language
- Pro-aperiodic monoids via saturated models
- Bounded distributive lattice expansions
- A Model Theory Approach to Structural Limits
- Continuous Domain Theory in Logical Form
- Quantifiers on languages and codensity monads
- EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES
- Stone Duality for Markov Processes
- Profinite Methods in Automata Theory
- A localic theory of lower and upper integrals
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Boolean Algebras with Operators
- Probabilistic power domains, information systems, and locales
