Topology Atlas || Conferences

Logic in Hungary, 2005
August 5-10, 2005
Janos Bolyai Mathematical Society
Budapest, Hungary

Organizers
A. Hajnal, J. Suranyi (honorary chair) H. Andreka, I. Juhasz, P. Komjath, I. Nemeti (co-chair) G. Sagi (secretary) L. Csirmaz, M. Ferenczi, M. Redei, I. Sain, L. Soukup (member)

View Abstracts
Conference Homepage

An Alexandrov-Zeeman type theorem
by
Ramón Horváth
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.