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

DOI10.1017/jsl.2022.43arXiv2105.01291OpenAlexW4281672813MaRDI QIDQ6095984

Kentarô Yamamoto

Publication date: 11 September 2023

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

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

zbMATH Keywords

Heyting algebrasautomorphism groupssmall index propertyPolish groupsFraïssé limits

Mathematics Subject Classification ID

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

Cites Work

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

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