The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras

Autoři: Kentarô Yamamoto
Rok vydání: 2023
Typ publikace: Článek v odborném periodiku
Periodikum: Journal of Symbolic Logic
Bibliografická citace: YAMAMOTO, Kentarô. The Automorphism Group of The Fraïssé Limit of Finite Heyting Algebras. Journal of Symbolic Logic. 2023, 88(3), 1310-1320. ISSN 0022-4812. E-ISSN 1943-5886
Dostupné z: doi:10.1017/jsl.2022.43.
DOI: 10.1017/jsl.2022.43
ID: 558344
Online záznam: Zobrazit online záznam

Abstrakt

Roelcke non-precompactness, simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are proved among others.