Research
Research
M. Abbadini, F. Guffanti. (2025) Quantifier-free formulas and quantifier alternation depth in doctrines.
Journal of Pure and Applied Algebra, Volume 229, Issue 8, 2025.
F. Guffanti. (2024) Left adjoint to precomposition in elementary doctrines.
Theory and Applications of Categories, Vol. 41, 2024, No. 15, pp 493-515.
F. Guffanti. (2024) Adding a constant and an axiom to a doctrine.
Mathematical Logic Quarterly, Vol. 70, Issue 3, pp 294–332, 2024.
Published version (Pdf here)
M. Abbadini, F. Guffanti. The doctrinal Gödel's completeness theorem and the type space functor
Preprint (2026)
M. Abbadini, F. Guffanti. On the Beck-Chevalley condition
Preprint (2026)
M. Abbadini, F. Guffanti. Freely adding one layer of quantifiers to a Boolean doctrine
Preprint (2024)
F. Guffanti. Rich doctrines and Henkin’s Theorem.
Preprint (2023)