We show that if a subgroup of the automorphism group of the Fraïssé limit of finite Heyting algebras has a countable index, then it lies between the pointwise and setwise stabilizer of some finite set.
One platform for all researcher needs
AI-powered academic writing assistant
Your #1 AI companion for literature search
AI tool for graphics, illustrations, and artwork
Unlock unlimited use of all AI tools with the Editage All Access membership.
Explore Editage All AccessPublished in last 50 years