many-sorted language
زبان چند-گونه‌ای
one-sorted language
زبان تک-گونه‌ای
language
زبان
model
مدل
Ehrenfeucht-Mostowski structure
ساختار ارنفاست-موستوفسکی
sort of structure
گونه ساختار
گونه زبان
sort of language
elimination of hyperimaginaries
حذف فراموهومات