1: \begin{abstract}

2:   We show that if a subgroup of the automorphism group of the \FR{} limit of

3:   finite Heyting algebras has a countable index,

4:   then it lies between the pointwise and setwise stabilizer of some finite set. 

5: \end{abstract}

6: