Dolich, Alfred

1. Strong theories of ordered abelian groups
   2015/11/26 by Dolich, Alfred, Goodrick, John · 2 citations
   #03C45 #03C64 #FOS: Mathematics #Logic (math.LO)
2. Dp-minimality: basic facts and examples
   2009/10/16 by Alfred Dolich, Dolich, Alfred, John Goodrick +3 · 1 citation
   Computer Science · Mathematics · #03C64 #03C68 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras
3. Connectedness in structures on the real numbers: o-minimality and undecidability
   2020/11/30 by Alfred Dolich, Dolich, Alfred, Chris Miller +5 · 1 citation
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
4. Topological properties of definable sets in ordered Abelian groups of burden 2
   2022/07/18 by Alfred Dolich, Dolich, Alfred, John Goodrick +1 · 1 citation
   Computer Science · Mathematics · #03C45 (Primary) #03C64 (Secondary) #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)