Rank-3 scale theorems: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 137: | Line 137: | ||
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) ==== | ==== An even-cardinality MV3 is of the form W(x,y,z)W(y,x,z) (WIP) ==== | ||
==== 3-DE implies MV3 (WIP) ==== | ==== 3-DE implies MV3 (WIP) ==== | ||