73 citations · 149 across the 21 of their papers we have counts for
1 paper · 2 filters
Silvio Ghilardi, Luigi Santocanale
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…