Rank-k m-Types
•For m ¸ 0, there are only finitely many formulas up to
logical equivalence over m variables x1, …, xm in FO[0]
[why ?]
•
•For m ¸ 0, there are only finitely many formulas up to
logical equivalence over m variables x1, …, xm in FO[k+1]
[why ?]