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 136: | Line 136: | ||
==== An AG scale is unconditionally MV3 iff its cardinality is odd ==== | ==== An AG scale is unconditionally MV3 iff its cardinality is odd ==== | ||
We only need to see that AG + odd cardinality => MV3. But the argument in case 2 above works for any interval class (MV3 wasn't used), hence any interval class comes in at most 3 sizes. | We only need to see that AG + odd cardinality => MV3. But the argument in case 2 above works for any interval class (MV3 wasn't used), hence any interval class comes in at most 3 sizes. | ||
==== An even-cardinality MV3 is of the form W(x,y,z)W(y,x,z) ==== | |||
==== 3-DE implies MV3 (WIP) ==== | ==== 3-DE implies MV3 (WIP) ==== | ||