Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
From MaRDI portal
Publication:6312019
DOI10.1017/S0960129519000203zbMATH Open1530.06006arXiv1901.01252WikidataQ126316147 ScholiaQ126316147MaRDI QIDQ6312019FDOQ6312019
Authors: Silvio Ghilardi, Luigi Santocanale 
Publication date: 4 January 2019
Abstract: Ruitenburg's Theorem says that every endomorphism f of a finitely generated free Heyting algebra is ultimately periodic if f fixes all the generators but one. More precisely, there is N 0 such that f N +2 = f N , thus the period equals 2. We give a semantic proof of this theorem, using duality techniques and bounded bisimulation ranks. By the same techniques, we tackle investigation of arbitrary endomorphisms between free algebras. We show that they are not, in general, ultimately periodic. Yet, when they are (e.g. in the case of locally finite subvarieties), the period can be explicitly bounded as function of the cardinality of the set of generators.
This page was built for publication: Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6312019)
