Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 2778
- Definitions 2634
- Statements 1926
- Conjectures 38
- Problems 54
- Examples 213
- Counterexamples 52
- Objects 99
- Proofs 10
- Computations 1
- Topics 1
Ideas 1651–1800 of 1926.
| Name | Kind | Subject |
|---|---|---|
| Normal basis theorem | Theorem | Field theory and polynomials |
| Positive mass theorem | Theorem | Differential geometry |
| Schwartz impossibility theorem | Theorem | Functional analysis |
| Dual of Lp | Theorem | Functional analysis |
| Duhamel's principle | Theorem | Ordinary differential equations |
| Fatou's theorem | Theorem | Functions of a complex variable |
| Incomparability theorem | Theorem | Commutative algebra |
| Dunford–Pettis theorem | Theorem | Functional analysis |
| Littlewood–Richardson rule | Theorem | Combinatorics |
| Riemannian Penrose inequality | Theorem | Differential geometry |
| Hahn–Mazurkiewicz theorem | Theorem | General topology |
| Property P conjecture | Theorem | Manifolds and cell complexes |
| Spectral mapping theorem for polynomials | Theorem | Functional analysis |
| Surgery exact sequence | Theorem | Manifolds and cell complexes |
| Lévy–Khintchine representation | Theorem | Probability theory and stochastic processes |
| Carathéodory's extension theorem | Theorem | Measure and integration |
| Banach–Stone theorem | Theorem | Functional analysis |
| Gödel's consistency of CH and AC | Theorem | Mathematical logic and foundations |
| Murray–von Neumann classification of factors | Theorem | Functional analysis |
| Hahn–Banach theorem | Theorem | Functional analysis |
| Banach–Mazur theorem | Theorem | Functional analysis |
| Hopf–Rinow theorem | Theorem | Differential geometry |
| Lidskii's theorem | Theorem | Operator theory |
| Frobenius theorem on real division algebras | Theorem | Associative rings and algebras |
| Rademacher's theorem | Theorem | Real functions |
| Blakers–Massey theorem | Theorem | Algebraic topology |
| Bohr–Mollerup theorem | Theorem | Special functions |
| Borsuk–Ulam theorem | Theorem | Algebraic topology |
| Gysin sequence | Theorem | Algebraic topology |
| First main theorem of Nevanlinna theory | Theorem | Functions of a complex variable |
| Coarea formula | Theorem | Measure and integration |
| Moore–Osgood theorem | Theorem | Sequences, series, summability |
| Gentzen's consistency proof | Theorem | Mathematical logic and foundations |
| Schreier refinement theorem | Theorem | Group theory and generalizations |
| Cheeger–Gromoll splitting theorem | Theorem | Differential geometry |
| Sanov's theorem | Theorem | Probability theory and stochastic processes |
| Nonemptiness of the spectrum | Theorem | Functional analysis |
| Solvability of x^n - a | Proposition | Field theory and polynomials |
| Tits alternative | Theorem | Group theory and generalizations |
| Hilbert's syzygy theorem | Theorem | Commutative algebra |
| Marcinkiewicz interpolation theorem | Theorem | Functional analysis |
| Picard's little theorem | Theorem | Functions of a complex variable |
| Liouville's theorems on elliptic functions | Theorem | Special functions |
| Bruck–Ryser–Chowla theorem | Theorem | Combinatorics |
| Sturm's theorem | Theorem | Field theory and polynomials |
| Euler's pentagonal number theorem | Theorem | Number theory |
| Ruzsa triangle inequality | Theorem | Number theory |
| Hasse–Minkowski theorem | Theorem | Number theory |
| Frobenius theorem on Cesàro and Abel summability | Theorem | Sequences, series, summability |
| Thue–Siegel–Roth theorem | Theorem | Number theory |
| Friedberg–Muchnik theorem | Theorem | Mathematical logic and foundations |
| Weyl's inequality | Theorem | Linear and multilinear algebra; matrix theory |
| Dugundji extension theorem | Theorem | General topology |
| Gromov's non-squeezing theorem | Theorem | Differential geometry |
| Fundamental identity for ramification and inertia | Theorem | Number theory |
| Bing metrization theorem | Theorem | General topology |
| Whitney extension theorem | Theorem | Real functions |
| Beth definability theorem | Theorem | Mathematical logic and foundations |
| Jensen's covering theorem | Theorem | Mathematical logic and foundations |
| Mackey–Arens theorem | Theorem | Functional analysis |
| Gelfond–Schneider theorem | Theorem | Number theory |
| Sokhotski–Plemelj theorem | Theorem | Functions of a complex variable |
| Law of the iterated logarithm | Theorem | Probability theory and stochastic processes |
| Mazur's torsion theorem | Theorem | Number theory |
| Gromov's theorem on groups of polynomial growth | Theorem | Group theory and generalizations |
| Krein–Milman theorem | Theorem | Functional analysis |
| Apéry's theorem | Theorem | Number theory |
| Serre's modularity conjecture | Theorem | Number theory |
| Fundamental theorem of calculus for Lebesgue integrals | Theorem | Real functions |
| Kurosh subgroup theorem | Theorem | Group theory and generalizations |
| Euler's theorem on normal curvatures | Theorem | Differential geometry |
| An infinite product converges iff its series of logarithms converges | Proposition | Sequences, series, summability |
| Cramér's theorem | Theorem | Probability theory and stochastic processes |
| Seifert–van Kampen theorem | Theorem | Manifolds and cell complexes |
| Erdős–Rado theorem | Theorem | Mathematical logic and foundations |
| Kirchhoff's matrix tree theorem | Theorem | Combinatorics |
| Minlos theorem | Theorem | Measure and integration |
| Hopf's formula | Theorem | Group theory and generalizations |
| Zero divisors are the union of associated primes | Theorem | Commutative algebra |
| Silverman–Toeplitz theorem | Theorem | Sequences, series, summability |
| Unique factorization of ideals in a Dedekind domain | Theorem | Commutative algebra |
| Hardy's inequality | Theorem | Real functions |
| Chebyshev's sum inequality | Theorem | Real functions |
| Fatou's lemma | Lemma | Measure and integration |
| Clifford theory | Theorem | Group theory and generalizations |
| Lebesgue differentiation theorem | Theorem | Measure and integration |
| Denjoy–Carleman–Ahlfors theorem | Theorem | Functions of a complex variable |
| Weyl–von Neumann theorem | Theorem | Operator theory |
| Shafarevich's theorem on solvable Galois groups | Theorem | Field theory and polynomials |
| Excision theorem | Theorem | Algebraic topology |
| Cayley–Hamilton theorem for modules | Proposition | Commutative algebra |
| Krull's principal ideal theorem | Theorem | Commutative algebra |
| Lefschetz principle | Theorem | Mathematical logic and foundations |
| Whitney immersion theorem | Theorem | Manifolds and cell complexes |
| Auslander–Buchsbaum formula | Theorem | Commutative algebra |
| Boolean prime ideal theorem | Theorem | Mathematical logic and foundations |
| Moise's theorem | Theorem | Manifolds and cell complexes |
| Burkholder–Davis–Gundy inequality | Theorem | Probability theory and stochastic processes |
| Doob–Meyer decomposition theorem | Theorem | Probability theory and stochastic processes |
| Lusternik–Schnirelmann theorem | Theorem | Algebraic topology |
| Kantorovich–Rubinstein duality | Theorem | Calculus of variations and optimal control; optimization |
| Dimension of a polynomial ring | Theorem | Commutative algebra |
| Sylvester–Gallai theorem | Theorem | Convex and discrete geometry |
| Reidemeister's theorem | Theorem | Manifolds and cell complexes |
| Nerve theorem | Theorem | Algebraic topology |
| Gelfand's spectral radius formula | Theorem | Functional analysis |
| Gårding's inequality | Theorem | Partial differential equations |
| Ambrose–Singer theorem | Theorem | Differential geometry |
| Descartes' rule of signs | Theorem | Real functions |
| Bruhat decomposition | Theorem | Group theory and generalizations |
| Krull's height theorem | Theorem | Commutative algebra |
| Peixoto's theorem | Theorem | Dynamical systems and ergodic theory |
| Kaplansky density theorem | Theorem | Functional analysis |
| Hirzebruch signature theorem | Theorem | Manifolds and cell complexes |
| Paley–Wiener theorem | Theorem | Functions of a complex variable |
| Schur product theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Friendship theorem | Theorem | Combinatorics |
| Fundamental theorem of space curves | Theorem | Differential geometry |
| Fejér's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Simplicial approximation theorem | Theorem | Algebraic topology |
| Sato–Tate conjecture | Theorem | Number theory |
| Riesz representation theorem | Theorem | Functional analysis |
| Kolmogorov's three-series theorem | Theorem | Probability theory and stochastic processes |
| Bianchi identities | Theorem | Differential geometry |
| Poincaré recurrence theorem | Theorem | Dynamical systems and ergodic theory |
| JSJ decomposition | Theorem | Manifolds and cell complexes |
| Structure theorem for finitely generated modules over a principal ideal domain | Theorem | Commutative algebra |
| Measurable Riemann mapping theorem | Theorem | Functions of a complex variable |
| Cohen's theorem on Noetherian rings | Theorem | Commutative algebra |
| Hadamard three-circle theorem | Theorem | Functions of a complex variable |
| Fuglede's theorem | Theorem | Operator theory |
| Kolmogorov continuity theorem | Theorem | Probability theory and stochastic processes |
| Schur decomposition | Theorem | Linear and multilinear algebra; matrix theory |
| Schwarz–Pick theorem | Theorem | Functions of a complex variable |
| Homotopy invariance of homology | Theorem | Algebraic topology |
| Eilenberg–Zilber theorem | Theorem | Algebraic topology |
| Regular local rings are domains | Theorem | Commutative algebra |
| Abel's summation formula | Theorem | Sequences, series, summability |
| Schur's theorem | Theorem | Combinatorics |
| Morley's categoricity theorem | Theorem | Mathematical logic and foundations |
| Tsen's theorem | Theorem | Field theory and polynomials |
| Brauer's theorem on induced characters | Theorem | Group theory and generalizations |
| van der Waerden's theorem | Theorem | Combinatorics |
| Grothendieck's local duality | Theorem | Commutative algebra |
| Church's theorem on undecidability of first-order logic | Theorem | Mathematical logic and foundations |
| Krein–Rutman theorem | Theorem | Operator theory |
| Lyndon–Hochschild–Serre spectral sequence | Theorem | Group theory and generalizations |
| Hook length formula | Theorem | Combinatorics |
| Newlander–Nirenberg theorem | Theorem | Several complex variables and analytic spaces |
| Galois' theorem on solvability | Theorem | Field theory and polynomials |