The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras

Abstract

Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.

The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras—addendum

“…The original article [3] was erroneously published without an adequate proof of Theorem 3.6, which may be found in the following. The author expresses his gratitude to Dugald Macpherson for pointing out this gap that was present in an earlier draft of this article.…”