Registry · Definition III.D76 tau-effective not_applicable

III.D76 — Minkowski Extension

Extension of the glued 3D space to 3+1D Minkowski spacetime by adjoining the base τ¹ as time direction. Split-complex structure (j²=+1) provides Lorentzian signature.

Book III Part 8 Ch. 75

Dependency Graph

Depends on (1)

III.T50

Depended on by (4)

III.R38 III.R39 III.R40 III.R41

Lean Formalization

Module:

Symbol: