An Alexandrov-Zeeman type theorem
ELTE University Budapest
Coauthors: Judit X. Madarász, Gergely Székely
This talk is based on the first order logic theory of relativity developed by H. Andréka, J. X. Madarász and I. Németi. We present the following Alexandrov-Zeeman type theorem.
Theorem: Let M be at least three dimensional Minkowskian geometry over an ordered field, let l be a straight line and let j: M ® M be a bijection. If j takes light-like straight lines that intersect l to light-like straight lines, then j takes l to a straight line.
We also discuss some corollaries of the theorem in the first order logic theory of relativity.
Date received: May 31, 2005
Copyright © 2005 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # caqb-34.