Alternative names (10)
hasImplication • hasImplicationFor • hasImplicationsFor • implica • implicates • implication • implied • impliedBy • impliesExistenceOf • implyRandom triples
| Subject | Object |
|---|---|
| gptkb:T4_separation_axiom | gptkb:T3_separation_axiom |
| gptkb:Sahlqvist_theorem | Sahlqvist formulas are complete |
| gptkb:strongly_compact_cardinal | measurable cardinal |
| gptkb:Cauchy_integral_formula | analytic functions are infinitely differentiable |
| gptkb:Normative_relativism | Moral judgments depend on cultural context |
| gptkb:perfectly_normal_Hausdorff | completely regular |
| gptkb:Emeritus_Member | continued association |
| gptkb:infinite_pigeonhole_principle | there is no finite upper bound on the size of at least one subset in a finite partition of an infinite set |
| gptkb:Riesz_lemma | infinite-dimensional normed spaces are not locally compact |
| gptkb:Playfair's_axiom | parallel postulate |
| gptkb:Thurston's_hyperbolization_theorem | many 3-manifolds are hyperbolic |
| gptkb:US–China_decoupling | national security |
| gptkb:T_{3.5}_(Tychonoff) | Hausdorff space |
| gptkb:many-one_reduction | if B is decidable, then A is decidable |
| gptkb:Opening_Day_starter | team's top pitcher |
| gptkb:Reinhardt_cardinal_axiom | existence of Reinhardt cardinals |
| gptkb:Borsuk's_antipodal_theorem | gptkb:Borsuk–Ulam_theorem |
| gptkb:Unholy_Alliance_(political_term) | temporary cooperation |
| gptkb:weak_cosmic_censorship_hypothesis | naked singularities do not occur in nature |
| gptkb:Eternalism | Temporal passage is an illusion |