Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Domain, ordering geometry, and the commutator
Domain, ordering geometry, and the commutator · lines 1130–1136
A null-related support pair is outside at least one ordered region. A limit from ordered pairs does not define its missing value without a separately proved topology and extension.
Nearby in this section
- section: Domain, ordering geometry, and the commutator
- proposition: Proposition: Domain stability
- section: Domain, ordering geometry, and the commutator
- proposition: Proposition: Double ordering
- 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