Registry · Definition IV.D296 tau-effective formalized

IV.D296 — Vacuum permittivity in relational units

The vacuum permittivity in the relational framework is epsilon_0 = (8/pi^3) * M*H*L^3/Q^2. Related to k_e by the standard relation epsilon_0 = 1/(4*pi*k_e), it measures the ability of free space to transmit electric fields via the boundary holonomy algebra.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.VacuumPermittivityInRelationalUnits