Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Domain, ordering geometry, and the commutator
Domain, ordering geometry, and the commutator · lines 1106–1117
Write
No old time-ordered value is inferred merely from the existence of the old free product. Under additional conjugation-stability information the intersection may be evaluated, but that requires its own proof. No retained tensor is deleted after a failed test.
Displayed formulas in this passage
unlabeled · line 1109
Nearby in this section
- section: Domain, ordering geometry, and the commutator
- proposition: Proposition: Domain stability
- proposition: Proposition: Double ordering
- section: Domain, ordering geometry, and the commutator
- lemma: Lemma: A strongly separated comparison class
- section: Domain, ordering geometry, and the commutator
- proposition: Proposition: Locked first-stage commutator
- section: Domain, ordering geometry, and the commutator