Abstract:
We introduce the concept of $K\Sigma$-structure and prove the existence of a universal $\Sigma$-function in the hereditarily finite superstructure over this structure. We exhibit some examples of families of $K\Sigma$-structures of the theory of trees.