Rank-3 scale theorems: Difference between revisions

@@ Line 94: / Line 94: @@
 Plan: v_2 and v_3 are sizes that are problematic when they occur together.
-Let w_X, w_Y, w_Z be mosses that result from eliminating X, Y and Z. MV3 implies that for any possible choices of s_i, EX(s_1), EX(s_2), EX(s_3) each only comes in one possible size as B-, (B+1)- and (B-1)-steps in w_X. [EX means eliminate X]
+Let EX(w), EY(w), EZ(w) be mosses that result from eliminating X, Y and Z. MV3 implies that for any possible choices of s_i, EX(s_1), EX(s_2), EX(s_3) each only comes in one possible size as B-, (B+1)- and (B-1)-steps in w_X. [EX means eliminate X]
 ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ======