Kripke model
مدل کریپکی
مدل‌های حساب
models of arithmetic
first order language
زبان مرتبه اول
one-sorted language
زبان تک-گونه‌ای
many-sorted language
زبان چند-گونه‌ای
sort of language
گونه زبان
compactness theorem
قضیه فشردگی
counterexample
مثال نقض
definable set
مجموعه تعریف‌پذیر
model theory of set theory
نظریه مدل نظریه مجموعه‌ها
ساختارهای o-مینیمال
o-minimal structers
Ehrenfeucht-Mostowski structure
ساختار ارنفاست-موستوفسکی
first order structures
ساختارهای مرتبه‌اول
ultraproducts of models
ابرضرب مدل‌ها
skolemisation of a model
اسکولمی‌کردن مدل
Vaught test
آزمون وات
تایپ
type
chain of models
زنجیر مدل‌ها
Henkin constuction
ساختار هنکین
Tarski-Vaught theorem
قضیه تارسکی-وات
Lowenheim-Skolem theorem
قضیه لوون هایم-اسکولم
Ryll-Nardzewski theorem
قضییه ریل- ناردوسکی
مدل اتمی
atomic model
saturated model
مدل اشباع
decision model
مدل تصمیم‌
generic model
مدل عام
monster model
مدل غول‌پیکر
canonical model
مدل متعارف
non-standard model
مدل نااستاندارد
مدل همگن
homogeneous model
model complete theory
نظریه مدل کامل
atomic diagram
نمودار اتمی
مدل
model
ساختار
structure