group theory, the correspondence theorem (also the lattice theorem, and variously and ambiguously the third and fourth isomorphism theorem) states that if...

isomorphism theorem. The first four statements are often subsumed under Theorem D below, and referred to as the lattice theorem, correspondence theorem, or fourth...

kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical, and corresponds...

correspondence. Seen at a more abstract level, the correspondence can be restated as shown in the following table. Especially, the deduction theorem specific...

most basic form, the theorem asserts that given a field extension E/F that is finite and Galois, there is a one-to-one correspondence between its intermediate...

it follows as a consequence of Lafforgue's theorem. In mathematics, the classical Langlands correspondence is a collection of results and conjectures...

seven Principles cited in the esoteric book The Kybalion. Correspondence theorem, theorem regarding the relation between subgroups and groups in group...

Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability...

Kähler manifold. The theorem can be considered a vast generalisation of the Narasimhan–Seshadri theorem which defines a correspondence between stable vector...

every 1 ≤ m ≤ k. This follows by induction, using Cauchy's theorem and the Correspondence Theorem for groups. A proof sketch is as follows: because the center...

mathematical support to the correspondence principle. The reason is that Ehrenfest's theorem is closely related to Liouville's theorem of Hamiltonian mechanics...

In mathematics, the Abel–Ruffini theorem (also known as Abel's impossibility theorem) states that there is no solution in radicals to general polynomial...

In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, b...

logic) Richardson's theorem (mathematical logic) Robinson's joint consistency theorem (mathematical logic) Sahlqvist correspondence theorem (modal logic) Soundness...

Maximum theorem, f ∗ {\displaystyle f^{*}} is continuous. It remains to verify that C ∗ {\displaystyle C^{*}} is an upper hemicontinuous correspondence with...

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving...

terms of ordinary characters. All three main theorems are stated in terms of the Brauer correspondence. There are many ways to extend the definition...

appropriate. Cayley's original 1854 paper, showed that the correspondence in the theorem is one-to-one, but he did not explicitly show it was a homomorphism...

In mathematics, the Robinson–Schensted–Knuth correspondence, also referred to as the RSK correspondence or RSK algorithm, is a combinatorial bijection...

In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the...

}{X^{j}/j!}} . The correspondence between Lie groups and Lie algebras includes the following three main results. Lie's third theorem: Every finite-dimensional...

Cantor–Bernstein–Schröder theorem. Cantor's 1874 Crelle paper was the first to invoke the notion of a 1-to-1 correspondence, though he did not use that...

representation theorem relates linear functionals on spaces of continuous functions on a locally compact space to measures in measure theory. The theorem is named...

into three dimensions using the Maxwell–Cremona correspondence, and methods using the circle packing theorem to generate a canonical polyhedron. Although...

theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian...

generalized Stokes theorem (sometimes with apostrophe as Stokes' theorem or Stokes's theorem), also called the Stokes–Cartan theorem, is a statement about...

In physics, a correspondence principle is any one of several premises or assertions about the relationship between classical and quantum mechanics. The...

procedures for mixed monotone mappings. Kakutani fixed-point theorem: Every correspondence that maps a compact convex subset of a locally convex space...

geometry, and gauge theory, the Kobayashi–Hitchin correspondence (or Donaldson–Uhlenbeck–Yau theorem) relates stable vector bundles over a complex manifold...

who published a proof of it in 1937. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial...