Marra, Vincenzo
- Tarski's Theorem on Intuitionistic logic, for polyhedra
2017/01/18 by Bezhanishvili, Nick, Marra, Vincenzo, McNeill, Daniel +1 · 1 citation
#03B20 (Primary) #06D20 #06D22 #52B70 #55U10 #57Q99 (Secondary) #FOS: Mathematics #General Topology (math.GN) #Geometric Topology (math.GT) #Logic (math.LO)
- 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)