• Spatio-temporal logic: variant of temporal logic time flow: one of the so-called causal relations on spacetime • A first-order spatio-temporal theory over the rational order is recursively enumerable if and only if the dimension of spacetime does not exceed 2 • In the case of real co-ordinates: even dimension 2 does not permit recursive enumerability