An axiomatic foundation of relativistic spacetime.

An ab-initio foundation for relativistic spacetime is given, which is a conservative extension of Zermelo's set theory with urelemente. Primitive entities are worldlines rather than spacetime points. Spacetime points are sets of intersecting worldlines. By the proper axioms, they form a manifold. En...

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 192; no. 7; pp. 2009 - 2025
Autor principal:	Benda, Thomas
Formato:	Artículo
Publicado:	Springer Nature Jul2015
Materias:	General relativity (Physics) Axiomatic set theory First-order logic Mathematical logic Spacetime
Acceso en línea:	Ver este registro en EBSCOhost