1: \begin{abstract}

2:   Roelcke non-precompactness,

3:   simplicity, and

4:   non-amenability of the automorphism group of the

5:   \FR\ limit of finite Heyting algebras are proved among others.

6:   %Keywords?

7: \end{abstract}

8: