Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 3771
- Definitions 3614
- Statements 2208
- Conjectures 58
- Problems 76
- Examples 280
- Counterexamples 55
- Objects 107
- Proofs 10
- Computations 1
- Topics 1
Ideas 2101–2208 of 2208.
| Name | Kind | Subject |
|---|---|---|
| Robbins conjecture | Theorem | Order, lattices, ordered algebraic structures |
| Artin's theorem on fixed fields | Theorem | Field theory and polynomials |
| Bondy's theorem | Theorem | Combinatorics |
| Lie algebra of a compact group is reductive | Theorem | Topological groups, Lie groups |
| Baker–Campbell–Hausdorff formula | Theorem | Topological groups, Lie groups |
| Mayer–Vietoris sequence | Theorem | Algebraic topology |
| Stinespring dilation theorem | Theorem | Functional analysis |
| Hilbert's tenth problem | Theorem | Number theory |
| Chebotarev's density theorem | Theorem | Number theory |
| F. and M. Riesz theorem | Theorem | Functions of a complex variable |
| Gödel's incompleteness theorems | Theorem | Mathematical logic and foundations |
| Weyl's theorem on compact perturbations | Theorem | Operator theory |
| Lindelöf's theorem | Theorem | Functions of a complex variable |
| Fubini's theorem on differentiation | Theorem | Real functions |
| Siegel–Walfisz theorem | Theorem | Number theory |
| Skorokhod's embedding theorem | Theorem | Probability theory and stochastic processes |
| Gleason–Yamabe theorem | Theorem | Topological groups, Lie groups |
| Frobenius's theorem on Frobenius kernels | Theorem | Group theory and generalizations |
| Pentagon identity | Fact | Category theory; homological algebra |
| Hilbert's theorem on the hyperbolic plane | Theorem | Differential geometry |
| AKS primality test | Theorem | Number theory |
| Triangle removal lemma | Lemma | Combinatorics |
| Bounded gaps between primes | Theorem | Number theory |
| Nesbitt's inequality | Proposition | Real functions |
| Goodstein's theorem | Theorem | Mathematical logic and foundations |
| Hodge index theorem | Theorem | Algebraic geometry |
| Finiteness of associated primes | Theorem | Commutative algebra |
| Cyclic term theorem | Theorem | General algebraic systems |
| Jordan–Schur theorem | Theorem | Group theory and generalizations |
| Kruskal's tree theorem | Theorem | Combinatorics |
| Kontsevich formality theorem | Theorem | Differential geometry |
| Generalized mean inequality | Theorem | Real functions |
| Erdős–Stone theorem | Theorem | Combinatorics |
| Tannery's theorem | Theorem | Sequences, series, summability |
| Borg–Marchenko uniqueness theorem | Theorem | Ordinary differential equations |
| Fisher–Tippett–Gnedenko theorem | Theorem | Probability theory and stochastic processes |
| Serre's finiteness theorem | Theorem | Algebraic topology |
| Sauer–Shelah lemma | Lemma | Combinatorics |
| Schur–Horn theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Generic flatness | Theorem | Algebraic geometry |
| Euler's continued fraction formula | Theorem | Sequences, series, summability |
| Sz.-Nagy's dilation theorem | Theorem | Operator theory |
| Grushko theorem | Theorem | Group theory and generalizations |
| Zariski's lemma | Lemma | Commutative algebra |
| Artin–Schreier theorem on formally real fields | Theorem | Field theory and polynomials |
| Amitsur–Levitzki theorem | Theorem | Associative rings and algebras |
| Going-down theorem | Theorem | Commutative algebra |
| Mazur–Orlicz theorem | Theorem | Sequences, series, summability |
| Bieberbach theorems | Theorem | Group theory and generalizations |
| Sturm separation theorem | Theorem | Ordinary differential equations |
| Isomorphism theorem for measure algebras | Theorem | Measure and integration |
| Hilbert's Theorem 90 | Theorem | Field theory and polynomials |
| Birkhoff–Frink representation of algebraic closure systems | Theorem | General algebraic systems |
| Uniform boundedness principle | Theorem | Functional analysis |
| Gromov's compactness theorem | Theorem | Differential geometry |
| A Dedekind UFD is a PID | Proposition | Commutative algebra |
| Langlands classification | Theorem | Topological groups, Lie groups |
| Doob decomposition theorem | Theorem | Probability theory and stochastic processes |
| Wedderburn's theorem on simple Artinian rings | Theorem | Associative rings and algebras |
| Theorema Egregium | Theorem | Differential geometry |
| Rellich–Kondrachov theorem | Theorem | Functional analysis |
| Harnack's inequality | Theorem | Potential theory |
| Tarski's undefinability theorem | Theorem | Mathematical logic and foundations |
| d'Alembert's formula | Theorem | Partial differential equations |
| Weierstrass–Enneper parameterization | Theorem | Differential geometry |
| Smn theorem | Theorem | Mathematical logic and foundations |
| Classification of covering spaces | Theorem | Manifolds and cell complexes |
| Lying over theorem | Theorem | Commutative algebra |
| Lumer–Phillips theorem | Theorem | Operator theory |
| Morrey's inequality | Theorem | Functional analysis |
| Littlewood's Tauberian theorem | Theorem | Sequences, series, summability |
| Myers–Steenrod theorem | Theorem | Differential geometry |
| Hairy ball theorem | Theorem | Manifolds and cell complexes |
| O'Nan–Scott theorem | Theorem | Group theory and generalizations |
| No-retraction theorem | Theorem | Algebraic topology |
| Four-vertex theorem | Theorem | Differential geometry |
| Girsanov theorem | Theorem | Probability theory and stochastic processes |
| Golden–Thompson inequality | Theorem | Linear and multilinear algebra; matrix theory |
| Sard's theorem | Theorem | Global analysis, analysis on manifolds |
| Undecidability of the halting problem | Theorem | Mathematical logic and foundations |
| Word problem for free lattices | Theorem | Order, lattices, ordered algebraic structures |
| Stone–von Neumann theorem | Theorem | Topological groups, Lie groups |
| Synge's theorem | Theorem | Differential geometry |
| Reeb stability theorem | Theorem | Manifolds and cell complexes |
| Hurewicz theorem | Theorem | Algebraic topology |
| CSP dichotomy theorem | Theorem | General algebraic systems |
| First and second variation of arc length | Theorem | Differential geometry |
| Bernstein's theorem on monotone functions | Theorem | Real functions |
| Barratt–Priddy–Quillen theorem | Theorem | Algebraic topology |
| Anti-equivalence of affine schemes and rings | Theorem | Algebraic geometry |
| Cone theorem | Theorem | Algebraic geometry |
| Adams' theorem on Hopf invariant one | Theorem | Algebraic topology |
| Frenet–Serret formulas | Theorem | Differential geometry |
| Banach–Zarecki theorem | Theorem | Real functions |
| Bieberbach conjecture | Theorem | Functions of a complex variable |
| Finite-dimensional Hausdorff vector topologies are Euclidean | Theorem | Functional analysis |
| Whitney–Graustein theorem | Theorem | Manifolds and cell complexes |
| Łoś–Vaught test | Theorem | Mathematical logic and foundations |
| Bochner's theorem | Theorem | Abstract harmonic analysis |
| Hindman's theorem | Theorem | Combinatorics |
| Grothendieck spectral sequence | Theorem | Category theory; homological algebra |
| Montel's theorem | Theorem | Functions of a complex variable |
| Mason–Stothers theorem | Theorem | Number theory |
| Weak Nullstellensatz | Theorem | Commutative algebra |
| Newton–Puiseux theorem | Theorem | Commutative algebra |
| Hellinger–Toeplitz theorem | Theorem | Operator theory |
| Absolute continuity of the Lebesgue integral | Proposition | Measure and integration |
| Transitivity of integrality | Proposition | Commutative algebra |