Rank-3 scale theorems: Difference between revisions

@@ Line 138: / Line 138: @@
 We prove that 3-DE + not abcba implies PMOS, which is known to imply MV3.
-==== 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).''
 [[Category:Fokker block]]