Showing math.CTShow all
3 papers · 1 filter
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…
math.CT2024
Adding a constant and an axiom to a doctrine
Francesca Guffanti
We study the meaning of "adding a constant to a language" for any doctrine, and "adding an axiom to a theory" for a primary doctrine, by showing how these are actually two instance…
math.CT2024
Rich doctrines and Henkin's Theorem
Francesca Guffanti
We find a possible interpretation of Henkin's Theorem in the language of existential implicational doctrines. Under some smallness assumption, starting from an implicational existe…