Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Wordwise coherence, reversal, and continuity
Wordwise coherence, reversal, and continuity · lines 2496–2504
The obstruction retains its quantifiers; it is not a universal nonexistence theorem for partial products. The supplied is not an observation-diagonal contact term, and it is not subtracted from positive-cutoff old products in this construction.
Nearby in this section
- theorem: Theorem: Both selected associations
- section: Wordwise coherence, reversal, and continuity
- theorem: Theorem: Partial-product reversal
- proposition: Proposition: Actual-functional presentation independence
- theorem: Theorem: F9a on the complete declared new sector
- proposition: Proposition: The retained continuity obstruction