7 citations · 21 across the 16 of their papers we have counts for
1 paper · 2 filters
Marco Abbadini, Francesca Guffanti
We give a self-contained proof of Gödel's completeness theorem entirely within the formalism of first-order Boolean doctrines (an algebraic approach to classical many-sorted first-…