The small index property of the Fraïssé limit of finite Heyting algebras
arXiv:2204.07990
Abstract
We show that if a subgroup of the automorphism group of the Fraisse limit of finite Heyting algebras has a countable index, then it lies between the pointwise and setwise stabilizer of some finite set.
Revised version with more prose; Comments welcome; 8 pages