Guffanti, Francesca

1. Quantifier-free formulas and quantifier alternation depth in doctrines
   2024/04/12 by Abbadini, Marco, Guffanti, Francesca · 1 citation
   #08B20 #08C15 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Primary: 03G30. Secondary: 03B10
2. Freely adding one layer of quantifiers to a Boolean doctrine
   2024/10/18 by Abbadini, Marco, Guffanti, Francesca · 1 citation
   #08B20 #18C10 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Primary: 03G30. Secondary: 03B10