A note on Steinhorn's omitting types theorem
scientific article