55 citations · 130 across the 18 of their papers we have counts for
8 papers · 1 filter
Substitution Principle and semidirect products
Célia Borlido, Mai Gehrke
In the classical theory of regular languages the concept of recognition by profinite monoids is an important tool. Beyond regularity, Boolean spaces with internal monoids (BiMs) we…
A duality theoretic view on limits of finite structures: Extended version
Mai Gehrke, Tomáš Jakl, Luca Reggio
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures…
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
Mai Gehrke, Tomas Jakl, Luca Reggio
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on…
A duality theoretic view on limits of finite structures
Mai Gehrke, Tomáš Jakl, Luca Reggio
A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures…
Quantifiers on languages and codensity monads
Mai Gehrke, Daniela Petrisan, Luca Reggio
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a genera…
The Schützenberger product for syntactic spaces
Mai Gehrke, Daniela Petrisan, Luca Reggio
Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers…
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Nick Bezhanishvili, Mai Gehrke
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be…
Canonical extension and canonicity via DCPO presentations
Mai Gehrke, Jacob Vosmaer
The canonical extension of a lattice is in an essential way a two-sided completion. Domain theory, on the contrary, is primarily concerned with one-sided completeness. In this pape…