holdsIn
P17841
predicate
Indicates that a relationship, condition, or event is valid or occurs within a specified time interval or temporal context.
Aliases (1)
- Rostker v. GoldbergHolding ×1
Sample triples (19)
| Subject | Object |
|---|---|
| Cantor’s paradox | naive set theory → |
| Cantor’s theorem | ZFC → |
| Cantor’s theorem | Zermelo–Fraenkel set theory → |
| Cantor’s theorem | most standard axiomatic set theories → |
| Gauss's law | linear dielectric media → |
| Gauss's law | vacuum → |
| Gauss's law for magnetism | linear media → |
| Gauss's law for magnetism | nonlinear media → |
| Gauss's law for magnetism | vacuum → |
| Glicksberg fixed-point theorem | Hausdorff locally convex topological vector spaces → |
| Hilbert’s Nullstellensatz | finitely generated polynomial algebras over algebraically closed fields → |
| Military Selective Service Act | male-only registration upheld as constitutional at that time ("Rostker v. GoldbergHolding") → |
| Minkowski inequality | Lebesgue spaces → |
| Minkowski inequality | finite-dimensional Euclidean spaces → |
| Minkowski inequality | sequence spaces ℓ^p → |
| Tarski's undefinability theorem | any consistent, sufficiently strong, effectively axiomatizable theory extending Robinson arithmetic → |
| Wick’s theorem | Heisenberg picture of quantum field theory → |
| Wigner–Eckart theorem | Hilbert space of angular momentum eigenstates → |
| identity of indiscernibles | many classical metaphysical systems → |