Kár. Már megörültem, hogy más is ismeri ezt:
Analyzing the logical structure of relativity theory via model theoretic logic.
Bocs.