Theory of Finite or Infinite Trees Revisited

Khalil Djelloul, Thi-bich-hanh Dao, Thom Fruehwirth

We present in this paper a first-order axiomatization of an extended theory $T$ of finite or infinite trees, built on a signature containing an infinite set of function symbols and…