The small index property of the Fraïssé limit of finite Heyting algebras
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.
- Pub Date:
- April 2022
- Mathematics - Logic;
- Revised version with more prose