The small index property of the Fra\"iss\'e limit of finite Heyting algebras
Kentaro Yamamoto
所有作者
Kentaro Yamamoto
文献摘要
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.