2 citations · 3 across the 3 of their papers we have counts for
3 papers
math.CO2005★ 2 cited
Congruences of Multinomial Lattices
Luigi Santocanale
We study the congruence lattices of the multinomial lattices L(v) introduced by Bennett and Birkhoff. Our main motivation is to investigate Parikh equivalence relations that model…
math.RA2005★ 1 cited
Completions of mu-algebras
Luigi Santocanale
A -algebra is a model of a first order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms where is axiomatized…
math.CT2004
Logical Construction of Final Coalgebras
Luigi Santocanale
We prove that every finitary polynomial endofunctor of a category has a final coalgebra if is locally Cartesian closed, has finite disjoint coproducts and a natural number…