Abbadini, Marco

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. Stone-Gelfand duality for metrically complete lattice-ordered groups
   2022/10/27 by Marco Abbadini, Vincenzo Marra, Abbadini, Marco +3 · 1 citation
   Mathematics · #06F20 (Primary) #54A05 #54C30 (Secondary) #Advanced Banach Space Theory #Advanced Topology and Set Theory #FOS: Mathematics #Functional Analysis (math.FA) #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
3. 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