Expansions of real closed fields that introduce no new smooth functions. - Pantelis E. Eleftheriou; Alex Savatovsky (Ann. Pure Appl. Log., 2020)

Connectedness in Structures on the Real numbers: O-Minimality and Undecidability. - Alfred Dolich; Chris Miller 001; Alex Savatovsky; Athipat Thamrongthanyalak (J. Symb. Log., 2022)