Savatovsky, Alex

1. 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
2. Expansions of real closed fields which introduce no new smooth functions
   2018/12/25 by Pantelis E. Eleftheriou, Eleftheriou, Pantelis E., Alex Savatovsky +1 · 1 citation
   Mathematics · #03C64 #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Rings, Modules, and Algebras