Model-companions and definability in existentially complete structures
scientific article; zbMATH DE number 3618116
scientific article