vix.ing · top · new · best · stats · spec

1. Local tabularity in MS4 with Casari's axiom
   2024/12/02 by Chase Meadors, Meadors, Chase · 2 citations
   Computer Science · #03B45 #06E15 #06E25 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
2. Local finiteness in varieties of MS4-algebras
   2023/12/28 by Bezhanishvili, Guram, Meadors, Chase · 1 citation
   #03B45 #06E15 #06E25 #FOS: Mathematics #Logic (math.LO)
3. Choice-Free de Vries Duality
   2022/03/18 by Massas, Guillaume · 2 citations
   #03B45 #06E15 #06E25 #18F70 (Primary) #54B20 (Secondary) #FOS: Mathematics #Logic (math.LO)