Registry · Definition
IV.D261
tau-effective
formalized
IV.D261 — Physical-constants core
The physical-constants core C_phys = Q(iota_tau) is the closure of the master constant iota_tau = 2/(pi + e) under field operations and sector lifts. Every physical constant is an element of C_phys. This is a single-generator field extension over the rationals.
Book IV
Part 1
Ch. 5