Manuscript En02-A@1 · En02-A-v1.tex · assumption · bb1319d5
Assumption: Additional selective-output regularity
Conditional compactness without an LP claim · lines 1834–1846
En02-A@1#ass:selective-modulus
Fix a nondecreasing modulus with as . For every branch at capacity , require
This is additional to .
Displayed formulas in this passage
unlabeled · line 1838
Nearby in this section
- section: Conditional compactness without an LP claim
- definition: Definition: Selective pure outputs
- section: Conditional compactness without an LP claim
- lemma: Lemma: Compactness of the selective-output family
- lemma: Lemma: Closed finite-experiment constraints
- theorem: Theorem: J: compact constraint exhaustion
- remark: Remark: Exactly what J does not establish