The automorphism group of the Fra\"iss\'e limit of finite Heyting algebras

TL;DR

This paper investigates the automorphism group of the Fra"issé limit of finite Heyting algebras, revealing properties like non-precompactness, non-simplicity, and non-amenability, contributing to the understanding of its algebraic and topological structure.

Contribution

It provides new insights into the automorphism group's properties of the Fra"issé limit of finite Heyting algebras, highlighting aspects previously unexplored.

Findings

The automorphism group is Roelcke non-precompact.

The group is not simple.

The group is non-amenable.

Abstract

Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fra\"iss\'e limit of finite Heyting algebras are examined among others.