A Kleene theorem for free many-sorted algebras

Lü Gong, Raúl Ruiz Mora, Nofre Sanmartín Vich +1

In this work, we generalize Kleene's theorem from free single-sorted algebras to free many-sorted algebras. Our main result establishes that, under appropriate finitary assumptions…