A note on the undecidability of the reachability problem for o-minimal dynamical systems

Thomas Brihaye. A note on the undecidability of the reachability problem for o-minimal dynamical systems. Math. Log. Q., 52(2):165-170, 2006. [doi]

Abstract

Abstract is missing.