Given a universal binary countable homogeneous structure U and n∈ω, there is a partition of the induced n-element substructures of U into finitely many classes so that for any partition C0,C1, . . .,Cm−1 of such a class Q into finitely many parts there is a number k∈m and a copy U* of U in U so that all of the induced n-element substructures of U* which are in Q are also in C k .
The partition of the induced n-element substructures of U is explicitly given and a somewhat sharper result as the one stated above is proven.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
* Supported by NSERC of Canada Grant # 691325.