Rank-3 scale theorems: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary 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 two numbers of 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] | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||