Rank-3 scale theorems: Difference between revisions
| Line 112: | Line 112: | ||
if a step is an odd number of generators (since the scale size is odd, we can always ensure this by taking octave complements of all the generators). The first two sizes must occur the same number of times. QED. | if a step is an odd number of generators (since the scale size is odd, we can always ensure this by taking octave complements of all the generators). The first two sizes must occur the same number of times. QED. | ||
==== 3-DE implies MV3 ==== | ==== 3-DE implies MV3 (WIP) ==== | ||
We prove that 3-DE + not abcba implies PMOS, which is known to imply MV3. | We prove that 3-DE + not abcba implies PMOS, which is known to imply MV3. | ||