Rank-3 scale theorems: Difference between revisions
→MV3 Theorem 1 (WIP): another exception to PMOS |
Tags: Mobile edit Mobile web edit |
||
| Line 100: | Line 100: | ||
X...XZZZ...Z (suffix = at most c+1 Z's) | X...XZZZ...Z (suffix = at most c+1 Z's) | ||
[Get two subwords s_1, s_2 in w_Y with A_0-many X's and two numbers of Z's. These should be Y-eliminated versions of subwords t_1, t_2 in w, with two numbers of Y's by the fact that w_X is a mos. | [Get two subwords s_1, s_2 in w_Y with A_0-many X's and two numbers of Z's. These should be Y-eliminated versions of subwords t_1, t_2 in w, with two numbers of Y's by the fact that w_X is a mos. Get the right number of Y's to have a B_0-step, by using w_Z] | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||