First-Order Logic Foundation of Relativity Theories

Motivation and perspective for an exciting new research direction interconnecting logic, spacetime theory, relativity–including such revolutionary areas as black hole physics, relativistic computers, new cosmology–are presented in this paper. We would like to invite the logician reader to take part in this grand enterprise of the new century. Besides general perspective and motivation, we present initial results in this direction.