Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond

Introduction