Two Properties of Countably
Categorical Universals
Abyz Nurtazin
Kazakh National University (Kazakhstan)
A sufficient and necessary condition for the w-categoricity
of the universal theory of a class finite structures is obtained.
It is also proved that the universal theory of some
w-categorical structure is complete iff the elementary
properties of small tuples of its elements are the same as in
sufficiently big finite substructures.