Research

• M. Abbadini, F. Guffanti. (2026) Freely adding one layer of quantifiers to a Boolean doctrine

Annals of Pure and Applied Logic, 178(3), 2027, 103841. DOI: 10.1016/j.apal.2026.103841. 

Preprint version 

• 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.

Published version

• F. Guffanti. (2024) Left adjoint to precomposition in elementary doctrines.

Theory and Applications of Categories, Vol. 41, 2024, No. 15, pp 493-515.

Published version

• 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)

• F. Guffanti. Rich doctrines and Henkin’s Theorem.

Preprint (2023)