Massas, Guillaume
- Choice-Free de Vries Duality
2022/03/18 by Massas, Guillaume · 2 citations
Computer Science · Mathematics · #03B45 #06E15 #06E25 #18F70 (Primary) #54B20 (Secondary) #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)