THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS

DOI10.1017/JSL.2022.43MaRDI QIDQ6095984zbMATH OpenOpenAlexFDO

Authors Kentarô Yamamoto

Publication date 11 September 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

automorphism groupsFraïssé limitsHeyting algebrasPolish groupssmall index property

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Heyting algebras (lattice-theoretic aspects) (06D20) Infinite automorphism groups (20B27) Means on groups, semigroups, etc.; amenable groups (43A07)

Abstract: Roelcke non-precompactness, non-simplicity, and non-amenability of the automorphism group of the Fra"iss'e limit of finite Heyting algebras are examined among others.

Cites work

• A survey of homogeneous structures
• Codimension and pseudometric in co-Heyting algebras
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Dynamical properties of the automorphism groups of the random poset and random distributive lattice
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• Infinite permutation groups. II: Subgroups of small index
• Interpolation and amalgamation; pushing the limits. I
• Model completion of varieties of co-Heyting algebras
• Model completions and r-Heyting categories
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On the isometry group of the Urysohn space
• Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
• Simplicity of the automorphism groups of order and tournament expansions of homogeneous structures
• The Algebraic Simplicity of Certain Groups of Homeomorphisms
• The automorphism group of the universal distributive lattice
• Unitary representations of oligomorphic groups

Cited in

(2)

• Almost automorphic groups and semigroups in Fréchet spaces
• Preservation of superamalgamation by expansions

This page was built for publication: THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6095984)