The automorphism group of the Fraïssé limit of finite Heyting algebras
arXiv:2105.01291
Abstract
Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are examined among others.
This revision fixes the gap present in the version published prematurely in Journal of Symbolic Logic due to an editorial error