isStrongerThan
P2373
predicate
Indicates that one entity possesses greater physical power, force, or effectiveness than another entity.
All labels observed (5)
| Label | Occurrences |
|---|---|
| isStrongerThan canonical | 21 |
| comparativePower | 1 |
| hasStrongerFormThan | 1 |
| isStrongerIn | 1 |
| powerLevelComparedToTitans | 1 |
Sample triples (25)
| Subject | Object |
|---|---|
| Nash embedding theorem | local isometric embedding theorems ⓘ |
| Equatorial Countercurrent | central and eastern parts of ocean basins via predicate surface "isStrongerIn" ⓘ |
| Morse–Kelley set theory by class–set distinction |
Zermelo–Fraenkel set theory
ⓘ
surface form:
Zermelo–Fraenkel set theory with Choice
|
| Morse–Kelley set theory by class–set distinction | von Neumann–Bernays–Gödel set theory ⓘ |
| Elder Titans | greater via predicate surface "powerLevelComparedToTitans" ⓘ |
| Henstock–Kurzweil integral | Lebesgue integral in terms of integrable functions ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
T1 separation axiom ⓘ |
| Voronin universality theorem | value-distribution results for the Riemann zeta function ⓘ |
| monotone convergence theorem |
Fatou's lemma
ⓘ
surface form:
Fatou lemma in the monotone case
|
| Thom–Mather stratification | Whitney stratification ⓘ |
| Euler’s theorem | Fermat’s little theorem for composite moduli ⓘ |
| Picard theorem |
Liouville's theorem
ⓘ
surface form:
Liouville theorem
|
| Peano arithmetic | Robinson arithmetic ⓘ |
| Banach–Saks theorem | results that only give weak convergence of subsequences ⓘ |
| Robertson–Schrödinger uncertainty relation | Heisenberg–Kennard uncertainty relation via predicate surface "hasStrongerFormThan" NERFINISHED ⓘ |
| Lindelöf hypothesis | trivial bounds for |ζ(1/2+it)| ⓘ |
| Lindelöf space | second countability in general ⓘ |
| the Oldest Dragon | more powerful than typical dragons via predicate surface "comparativePower" ⓘ |
| Montel space | reflexive locally convex space ⓘ |
| Montel space | barrelled space ⓘ |
| Montel space | bornological space ⓘ |
| GRH | Riemann Hypothesis NERFINISHED ⓘ |
| grand Riemann hypothesis | generalized Riemann hypothesis NERFINISHED ⓘ |
| grand Riemann hypothesis | extended Riemann hypothesis NERFINISHED ⓘ |
| T1 separation axiom | T0 separation axiom NERFINISHED ⓘ |