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.

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, Preprint version

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