On Universal Functions in Hereditarily Finite Superstructures
A. N. Khisamiev · Siberian Advances in Mathematics · 2022
We obtain the necessary and sufficient condition for existence of a universal $$\Sigma $$ -function in the hereditarily finite superstructure over a structure. We apply this condition to various well-known classes of structures.