Connectedness in structures on the real numbers: o-minimality and undecidability - Alfred Dolich; Chris Miller; Alex Savatovsky; Athipat Thamrongthanyalak (2020)