论文标题
有限的heyting代数的Fraïssé极限的小索引属性
The small index property of the Fraïssé limit of finite Heyting algebras
论文作者
论文摘要
我们表明，如果有限的Heyting代数的Fraisse限制的自动形态组的子组具有可计数的索引，则它位于某些有限集的侧面和固定稳定器之间。
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.
