7 citations · 21 across the 16 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
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…
math.LO2024
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-…