Meadors, Chase
- 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
- Local finiteness in varieties of MS4-algebras
2023/12/28 by Guram Bezhanishvili, Bezhanishvili, Guram, Chase Meadors +1 · 1 citation
Computer Science · Mathematics · #03B45 #06E15 #06E25 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras #semigroups and automata theory