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

Journal of Symbolic Logic 88 (3):1310-1320 (2023)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2022.43

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Homogeneous structures with nonuniversal automorphism groups.Wiesław Kubiś & Saharon Shelah - 2020 - Journal of Symbolic Logic 85 (2):817-827.
Coherent extension of partial automorphisms, free amalgamation and automorphism groups.Daoud Siniora & Sławomir Solecki - 2020 - Journal of Symbolic Logic 85 (1):199-223.
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Semilattices and the Ramsey property.Miodrag Sokić - 2015 - Journal of Symbolic Logic 80 (4):1236-1259.
Boolean Algebras With A Distinguished Automorphism.M. Abad, J. P. D.\'{\I.}az Varela & M. Zander - 2003 - Reports on Mathematical Logic:101-112.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
The jiang–su algebra as a fraïssé limit.Shuhei Masumoto - 2017 - Journal of Symbolic Logic 82 (4):1541-1559.
Symmetrical Heyting algebras with a finite order type of operators.Luisa Iturrioz - 1995 - Studia Logica 55 (1):89 - 98.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wieslaw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Epimorphism surjectivity in varieties of Heyting algebras.T. Moraschini & J. J. Wannenburg - 2020 - Annals of Pure and Applied Logic 171 (9):102824.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.

Analytics

Added to PP
2022-06-09

Downloads
15 (#923,100)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.

Add more references