The small index property of the Fraïssé limit of finite Heyting algebras

DOI10.1016/j.jalgebra.2023.03.020zbMath1516.20008arXiv2204.07990MaRDI QIDQ6038511

Kentarô Yamamoto

Publication date: 2 May 2023

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2204.07990

zbMATH Keywords

Heyting algebras; automorphism groups; small index property; Polish groups; Fraïssé limits

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

06D20: Heyting algebras (lattice-theoretic aspects)

20B07: General theory for infinite permutation groups

03C15: Model theory of denumerable and separable structures