11 citations · 20 across the 2 of their papers we have counts for
7 papers
Uniform Birkhoff
Mai Gehrke, Michael Pinsker
We show that pseudovarieties of finitely generated algebras, i.e., classes of finitely generated algebras closed under finite products, homomorphic images, and subalgebras, can…
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…
Sheaves and Duality
M. Gehrke, S. J. v. Gool
It has long been known in universal algebra that any distributive sublattice of congruences of an algebra which consists entirely of commuting congruences yields a sheaf representa…
Difference hierarchies and duality with an application to formal languages
Célia Borlido, Mai Gehrke, Andreas Krebs +1
The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptiv…
A note on powers of Boolean spaces with internal semigroups
Célia Borlido, Mai Gehrke
Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of ex…
An interpolant in predicate Gödel logic
Matthias Baaz, Mai Gehrke, Sam van Gool
A logic satisfies the interpolation property provided that whenever a formula Δ is a consequence of another formula Γ, then this is witnessed by a formula Θ which only refers to th…