The small index property of the Fraïssé limit of finite Heyting algebras (Q6038511)

In the paper under review, the authors shows that the automorphism group of the Fraïssé limit of finite Heyting algebras has the strong small index property (Theorem 3.6). As a consequence, he deduces (Corollary 3.7) that the theory of the limit has weak elimination of imaginaries (note that it does not eliminate finite imaginaries). A Heyting algebra is a bounded (distributive) lattice \(H\) such that for all \(a\) and \(b\) in \(H\) there is a largest element \(x\), denotes as \(a\rightarrow b\), with \(a\wedge x\le b\) (the element \(a\rightarrow b\) can be seen as relative pseudo-complement of \(a\) with respect to \(b\), but it need not be an actual complement, for it need not be the case that \(a\lor (a\rightarrow 0)= 1\)). The class of finite Heyting algebras is a Fraïssé class, yet the theory of the limit is not \(\aleph_0\)-categorical. Given the automorphism group \(G=\mathrm{Aut}(\mathcal M)\) of a countable structure and a finite subset \(A\) of \(M\), the pointwise stabilizer \(H_A\) has finite index in \(G\). The automorphism group has the strong small index property if every subgroup \(H\) of index less than \(2^{\aleph_0}\) lies between \(H_A\) and the setwise stabilizer \(H_{(A)}\) for some finite set \(A\). The strong small index property was used by \textit{P. J. Cameron} [Discrete Math. 291, No. 1--3, 41--43 (2005; Zbl 1058.05056)] to show that the automorphism group of the random graph is not isomorphic to the automorphism group of any other countable homogeneous graph. Recently, \textit{G. Paolini} and \textit{S. Shelah} [``The strong small index property for free homogeneous structures'', Preprint, \url{arXiv:1703.10517}] generalized the work of \textit{M. Rubin} [Proc. Lond. Math. Soc. (3) 69, No. 2, 225--249 (1994; Zbl 0799.03037)] to show that the automorphism groups of two countable \(\aleph_0\)-categorical structures with no algebraicity and the strong small index property are isomorphic as abstract groups if and only if the structures are bidefinable.