Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories

In this paper we investigate the logical decidability and undecidability properties of relativity theories. To this end, we need to recall versions of relativity theory which are built up in a logical framework i.e. which are theories in the sense of mathematical logic (section 2). In Part I (section 3) we investigate decidability properties of versions of… (More)