Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Descent, scalar tests, and coherence equations
Descent, scalar tests, and coherence equations · lines 1331–1347
The intended prescriptions are
Until existence, admission, descent, and overlap agreement
are proved, these remain prescription equations
IXC ({:coherence}).
Displayed formulas in this passage
unlabeled · line 1334
Nearby in this section
- section: Descent, scalar tests, and coherence equations
- theorem: Theorem: Algebraic descent criterion
- section: Descent, scalar tests, and coherence equations
- theorem: Theorem: Scalar relation tests
- section: Descent, scalar tests, and coherence equations
- theorem: Theorem: Coefficientwise coherence criterion
- proposition: Proposition: Conditional presentation independence