Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
From MaRDI portal
Publication:6387109
DOI10.1016/J.APAL.2022.103100arXiv2112.15152MaRDI QIDQ6387109
István Németi, Gergely Székely, Hajnal Andréka, Judit Madarász
Publication date: 30 December 2021
Abstract: Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if . Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.
Special relativity (83A05) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Interpolation, preservation, definability (03C40) Other applications of logic (03B80)
This page was built for publication: Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6387109)
