User blog comment:Emlightened/Little Bigeddon/@comment-1605058-20170114100429

A question: You write that your number is the largest number blah blah bounded quantifier rank. However, there are infinitely many distinct formulas which have given quantifier rank. Can you prove that these lead only to finitely many possible numbers being defined (so that we can pick off the largest one)?