11 citations · 20 across the 2 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2020★ 11 cited
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…
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…