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