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

Authors: Kentarô Yamamoto
Publication year: 2023
Publication type: Článek v odborném periodiku
Periodical: Journal of Symbolic Logic
Bibliographic citation: 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 record: View online record

Abstract

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