Submission date: 4 May 2021

Abstract:

Aspects of ultrahomogeneous and existentially closed Heyting algebras are studied. The isomorphism type, non-simplicity, and non-amenability of the automorphism group of the Fraïssé limit of finite Heyting algebras are examined among others.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2105.01291: pdf, ps.