Birkhoff's theorem

(redirected from Birkhoff theorem)

Birkhoff's theorem

[′bərk‚hȯfs ‚thir·əm]
(relativity)
A theorem which states that if a space-time containing matter or energy satisfies Einstein's equations of general relativity and is centrally symmetric, then it is necessarily static and under a coordinate transformation it becomes identical to the Schwarzschild solution.
References in periodicals archive ?
We want to approach the problem incrementally:- View duality for categorical semantics through a spectrum of intermediate cases going from regular languages over varying alphabets, Ghilardi-Zawadowski duality for finitely presented Heyting algebras, and the Bodirsky-Pinsker topological Birkhoff theorem to Makkai~s, Awodey and Forssell~s, and Coumans~ recent work on first-order logic duality, thus unifying topics in semantics and formal languages.