21 citations · 37 across the 30 of their papers we have counts for
Showing 2019 · math.LOShow all
2 papers · 2 filters
math.LO2019
On discrete idempotent paths
Luigi Santocanale
The set of discrete lattice paths from (0, 0) to (n, n) with North and East steps (i.e. words w { x, y } * such that |w| x = |w| y = n) has a canonical monoid structure inher…
math.LO2019
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
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…