Remarks on strong nonstructure theorems
existence of universal equivalence trees
scientific article; zbMATH DE number 469212