55 citations · 130 across the 18 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.GN2018★ 3 cited
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…
math.GN2018★ 1 cited
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…
math.LO2018
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…