Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Domain, ordering geometry, and the commutator
Domain, ordering geometry, and the commutator · lines 1232–1240
The quantifier covers every extension on this fixed domain that retains the specified free values. Without a certified nonzero two-way pair, it is a conditional obstruction criterion, not an evaluated no-go theorem IXE.
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
- 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