A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
type: Item
instance of: scholarly article
title: A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
DOI: 10.1007/978-3-031-24117-8_4
author: Mai Gehrke
author: Tomáš Jakl
author: Luca Reggio
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7920677
zbMATH Keywords: duality theory
zbMATH Keywords: topological methods in logic
zbMATH Keywords: Vietoris space
zbMATH Keywords: quantifiers and measures
zbMATH Keywords: structural limits
zbMATH Keywords: Lindenbaum-Tarski algebras
zbMATH Keywords: free constructions
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: A Cook's Tour of the Finitary Non-Well-Founded Sets
cites work: Q5144676
cites work: Relating Structure and Power: Comonadic Semantics for Computational Resources
cites work: Q4206797
cites work: Moore-Smith convergence in general topology
cites work: Modal logic
cites work: Q5525343
cites work: Generalising canonical extension to the categorical setting
cites work: On generalizing free algebras for a functor
cites work: Q4049062
cites work: Q3735758
cites work: Probabilities on finite models
cites work: Algebraic logic for classical conjunction and disjunction
cites work: Stone duality, topological algebra, and recognition.
cites work: Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
cites work: Duality and Equational Theory of Regular Languages
cites work: A duality theoretic view on limits of finite structures
cites work: Quantifiers on languages and codensity monads
cites work: Q4277651
cites work: An algebraic theory of normal forms
cites work: Unification, finite duality and projectivity in varieties of Heyting algebras
cites work: Continuity, freeness, and filtrations
cites work: Monadic second order logic as the model companion of temporal logic
cites work: Pro-aperiodic monoids via saturated models
cites work: Q3711309
cites work: Q4783274
cites work: Boolean Algebras with Operators. Part I
cites work: Boolean Algebras with Operators
cites work: Limits of schema mappings
cites work: Stone coalgebras
cites work: Strongly complete logics for coalgebras
cites work: Using information systems to solve recursive domain equations
cites work: Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Q5641083
cites work: Topologies on Spaces of Subsets
cites work: The contributions of Alfred Tarski to algebraic logic
cites work: Q4063438
cites work: Cylindric Algebras of First-Order Languages
cites work: A Model Theory Approach to Structural Limits
cites work: A Unified Approach to Structural Limits and Limits of Graphs with Bounded Tree-Depth
cites work: Profinite Methods in Automata Theory
cites work: Regular languages and Stone duality
cites work: An application of open maps to categorical logic
cites work: A Powerdomain Construction
cites work: Representation of Distributive Lattices by means of ordered Stone Spaces
cites work: A proof of the completeness theorem of Grödel
cites work: Willem Blok and modal logic
cites work: Codensity, profiniteness and algebras of semiring-valued measures
cites work: The Birkhoff theorem for finite algebras
cites work: On finite monoids having only trivial subgroups
cites work: Q5685626
cites work: Q3316563
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: The Theory of Representation for Boolean Algebras
cites work: Topological representations of distributive lattices and Brouwerian logics
cites work: Regular languages defined with generalized quantifiers
cites work: Modal Logic and the Vietoris Functor
cites work: Bereiche zweiter Ordnung.