Birkhoff's Theorem (equational Logic)
   HOME

TheInfoList



OR:

Birkhoff's theorem may refer to several theorems named for the American mathematician
George David Birkhoff George David Birkhoff (March21, 1884November12, 1944) was one of the top American mathematicians of his generation. He made valuable contributions to the theory of differential equations, dynamical systems, the four-color problem, the three-body ...
: *
Birkhoff's theorem (relativity) In general relativity, Birkhoff's theorem states that any spherically symmetric solution of the vacuum field equations must be static and asymptotically flat. This means that the exterior solution (i.e. the spacetime outside of a spherical, ...
*
Birkhoff's theorem (electromagnetism) Birkhoff's theorem may refer to several theorems named for the American mathematician George David Birkhoff: * Birkhoff's theorem (relativity) * Birkhoff's theorem (electromagnetism) * Birkhoff's ergodic theorem It may also refer to theorems named ...
*
Birkhoff's ergodic theorem Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behavi ...
It may also refer to theorems named for his son,
Garrett Birkhoff Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician. He is best known for his work in lattice theory. The mathematician George Birkhoff (1884–1944) was his father. Life The son of the mathematician Ge ...
: * Birkhoff–von Neumann theorem for doubly stochastic matrices *
Birkhoff's HSP theorem In universal algebra, a variety of algebras or equational class is the class of all algebraic structures of a given signature satisfying a given set of identities. For example, the groups form a variety of algebras, as do the abelian groups, the ...
, concerning the closure operations of homomorphism, subalgebra and product *
Birkhoff's representation theorem :''This is about lattice theory. For other similarly named results, see Birkhoff's theorem (disambiguation).'' In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice ...
for distributive lattices * Birkhoff's theorem (equational logic), stating that syntactic and semantic consequence coincide {{disambig