scientific article; zbMATH DE number 1112206

zbMath0891.51012MaRDI QIDQ4373932

John W. Schutz

Publication date: 4 February 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Minkowski space-timeindefinite metricindependence modelsMinkowski geometriesorthochronous Lorentz groupcomplete system of axiomsconsistency of the system of axiomsEinstein's theory of special relativityEuclidean geometries and generalizationsfoundations and axiomatics of classical theoriesorthochronous Poincaré group of motions

Mathematics Subject Classification ID

Special relativity (83A05) Euclidean geometries (general) and generalizations (51M05) Classical or axiomatic geometry and physics (51P05) Minkowski geometries in nonlinear incidence geometry (51B20) Linear incidence geometry (51A99) Other applications of nonstandard models (economics, physics, etc.) (03H10)

Related Items (8)

A system of axioms for Minkowski spacetime ⋮ Axiomatic Thinking in Physics—Essence or Useless Ornament? ⋮ The minimally extended Varying Speed of Light (meVSL) ⋮ Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ A geometrical characterization of the twin paradox and its variants ⋮ A viable varying speed of light model in the RW metric ⋮ Billiards and toy gravitons ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL

This page was built for publication: