7 citations · 21 across the 16 of their papers we have counts for
4 papers · 1 filter
Freely adding one layer of quantifiers to a Boolean doctrine
Marco Abbadini, Francesca Guffanti
We describe the layer of quantifier alternation depth at most one of the quantifier completion of a Boolean doctrine over a small category. This amounts to a doctrinal version of H…
Barr-coexactness for metric compact Hausdorff spaces
Marco Abbadini, Dirk Hofmann
Compact metric spaces form an important class of metric spaces, but the category that they define lacks many important properties such as completeness and cocompleteness. In recent…
Varieties of MV-monoids and positive MV-algebras
Marco Abbadini, Paolo Aglianò, Stefano Fioravanti
MV-monoids are algebras where is a bounded distributive lattice, both $\langle A, \oplus, 0…
Quantifier-free formulas and quantifier alternation depth in doctrines
Marco Abbadini, Francesca Guffanti
This paper aims to incorporate the notion of quantifier-free formulas modulo a first-order theory and the stratification of formulas by quantifier alternation depth modulo a first-…