User:Inthar/MV3: Difference between revisions
| Line 117: | Line 117: | ||
== MV3 Theorem 2 == | == MV3 Theorem 2 == | ||
''Once you have chosen a rank-3 temperament and a specific generator interval, there is a mechanical procedure to generate all max-variety-3 scales of a certain size (of which there are, however, infinitely many).'' | ''Once you have chosen a rank-3 temperament and a specific generator interval, there is a mechanical procedure to generate all max-variety-3 scales of a certain size (of which there are, however, infinitely many).'' | ||
== 3-DE implies MV3 == | == 3-DE implies MV3 == | ||
We prove that 3-DE implies PMOS, which is known to imply MV3. | |||