7 citations · 21 across the 16 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
math.GN2026
Formal squares over the unit square separate FS-domains from RB-domains
Marco Abbadini
Every RB-domain is an FS-domain. Whether the converse holds was a long-standing open problem. We prove that the domain of closed axis-parallel squares in the plane whose centres li…
math.LO2026
The doctrinal Gödel's completeness theorem and the type space functor
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-…
math.CT2026
On the Beck--Chevalley condition
Marco Abbadini, Francesca Guffanti
Boolean hyperdoctrines provide an algebraic semantics for classical first-order logic with equality. In the definition of a Boolean hyperdoctrine, the Beck--Chevalley condition cap…