The small index property of the Fraïssé limit of finite Heyting algebras
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2022
- DOI:
- 10.48550/arXiv.2204.07990
- arXiv:
- arXiv:2204.07990
- Bibcode:
- 2022arXiv220407990Y
- Keywords:
-
- Mathematics - Logic;
- 20B07;
- 03C15;
- 06D20
- E-Print:
- Revised version with more prose