classical first order logic
منطق کلاسیک مرتبه اول
classification of first order strucuters
رده‌بندی ساختارهای مرتبه‌اول
categoricity theorem
قضیه جازمیت
one-sorted language
زبان تک-گونه‌ای
many-sorted structure
ساختار چند-گونه‌ای
simple theory
نظریه ساده
Baldwin-Lachlan theorem
قضیه بالدوین-لاخلان
cardinality of language
قوت زبان
hyperimaginary element
عنصر فراموهومی
many-sorted language
زبان چند-گونه‌ای
one-sorted structure
ساختار یک-گونه‌ای
قوت نشان
cardinality of signature
imaginary element
عنصر موهومی
forking
فورکینگ
ساختار
structure
language
زبان
categoricity
جازمیت
اصلی
cardinal
classification theory
نظریه رده‌بندی