Аңдатпа
Resumo Ni montras propecon de eljeteco de la kvantoro (∃y ∈ M) pri la (sufice) belaj paroj de modeloj de una O-plimalpova teorio. Gi havas korolaron ke, se ni aldonas malkavajn unarajn predikatojn a la lingvo de kelka O-plimalpova strukturo, ni ricevas malforte O-plimalpovan strukturon. Tui ci rezultato estis en speciala kaso pruvita de [5], kaj la gia generalizeco estis anoncita en [1].