2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Jacob Garber
The Beth Definability Property holds for an algebraizable logic if and only if every epimorphism in the corresponding category of algebras is surjective. Using this technique, Urqu…