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 135: | Line 135: | ||
==== 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. | |||
==== 3-DE implies MV3 (WIP) ==== | ==== 3-DE implies MV3 (WIP) ==== | ||