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

中文翻译：

---

通用函数和 KΣ-结构

我们引入了 K Σ-结构的概念，并证明了在该结构上的遗传有限上层结构中存在一个通用的 Σ-函数。我们展示了树理论的 K Σ-结构族的一些例子。