What is ZJ theorem?

In computational complexity theory, the Gap Theorem, also known as the Borodin–Trakhtenbrot Gap Theorem, is a major theorem about the complexity of computable functions. It essentially states that there are...

In Lie theory, an area of mathematics, the Kazhdan–Margulis theorem is a statement asserting that a discrete subgroup in semisimple Lie groups cannot be too dense in the group. More...

In mathematics, Darboux's theorem is a theorem in real analysis, named after Jean Gaston Darboux. It states that every function that results from the differentiation of another function has the...

In fluid mechanics, the Taylor–Proudman theorem states that when a solid body is moved slowly within a fluid that is steadily rotated with a high angular velocity...

In mathematics, specifically in algebraic geometry and algebraic topology, the Lefschetz hyperplane theorem is a precise statement of certain relations between the shape of an algebraic variety and the shape...

In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if A is a closed subset...

In numerical analysis, the Lax equivalence theorem is a fundamental theorem in the analysis of finite difference methods for the numerical solution of partial differential equations. It states that for...

The Browder fixed-point theorem is a refinement of the Banach fixed-point theorem for uniformly convex Banach spaces. It asserts that if...

The compass equivalence theorem is an important statement in compass and straightedge constructions. The tool advocated by Plato in these constructions is a divider or collapsing compass, that is, a...

In mathematics, the Boolean prime ideal theorem states that ideals in a Boolean algebra can be extended to prime ideals. A variation of this statement for filters on sets is...