Kripke model
type: Concept
preferred label: مدل کریپکی @fa
related: model

models of arithmetic
type: Concept
preferred label: مدل‌های حساب @fa
related: model

first order language
type: Concept
preferred label: زبان مرتبه اول @fa
related: model

one-sorted language
type: Concept
preferred label: زبان تک-گونه‌ای @fa
related: model

many-sorted language
type: Concept
preferred label: زبان چند-گونه‌ای @fa
related: model

sort of language
type: Concept
preferred label: گونه زبان @fa
related: model

compactness theorem
type: Concept
preferred label: قضیه فشردگی @fa
related: model

counterexample
type: Concept
preferred label: مثال نقض @fa
related: model

definable set
type: Concept
preferred label: مجموعه تعریف‌پذیر @fa
related: model

model theory of set theory
type: Concept
preferred label: نظریه مدل نظریه مجموعه‌ها @fa
related: model

o-minimal structers
type: Concept
preferred label: ساختارهای o-مینیمال @fa
related: model

Ehrenfeucht-Mostowski structure
type: Concept
preferred label: ساختار ارنفاست-موستوفسکی @fa
related: model

first order structures
type: Concept
preferred label: ساختارهای مرتبه‌اول @fa
related: model

ultraproducts of models
type: Concept
broader: model
preferred label: ابرضرب مدل‌ها @fa

skolemisation of a model
type: Concept
broader: model
preferred label: اسکولمی‌کردن مدل @fa

Vaught test
type: Concept
broader: model
preferred label: آزمون وات @fa

type
type: Concept
broader: model
preferred label: تایپ @fa

chain of models
type: Concept
broader: model
preferred label: زنجیر مدل‌ها @fa

Henkin constuction
type: Concept
broader: model
preferred label: ساختار هنکین @fa

Tarski-Vaught theorem
type: Concept
broader: model
preferred label: قضیه تارسکی-وات @fa

Lowenheim-Skolem theorem
type: Concept
broader: model
preferred label: قضیه لوون هایم-اسکولم @fa

Ryll-Nardzewski theorem
type: Concept
broader: model
preferred label: قضییه ریل- ناردوسکی @fa

atomic model
type: Concept
broader: model
preferred label: مدل اتمی @fa

saturated model
type: Concept
broader: model
preferred label: مدل اشباع @fa

decision model
type: Concept
broader: model
preferred label: مدل تصمیم‌ @fa

generic model
type: Concept
broader: model
preferred label: مدل عام @fa

monster model
type: Concept
broader: model
preferred label: مدل غول‌پیکر @fa

canonical model
type: Concept
broader: model
preferred label: مدل متعارف @fa

non-standard model
type: Concept
broader: model
preferred label: مدل نااستاندارد @fa

homogeneous model
type: Concept
broader: model
preferred label: مدل همگن @fa

model complete theory
type: Concept
broader: model
preferred label: نظریه مدل کامل @fa

atomic diagram
type: Concept
broader: model
preferred label: نمودار اتمی @fa

model
type: Concept
broader: structure
narrower: monster model
narrower: ultraproducts of models
narrower: Tarski-Vaught theorem
narrower: model complete theory
narrower: atomic model
narrower: canonical model
narrower: Ryll-Nardzewski theorem
narrower: generic model
narrower: Vaught test
narrower: chain of models
narrower: decision model
narrower: Lowenheim-Skolem theorem
narrower: skolemisation of a model
narrower: type
narrower: atomic diagram
narrower: Henkin constuction
narrower: saturated model
narrower: non-standard model
narrower: homogeneous model
preferred label: مدل @fa
related: first order structures
related: sort of language
related: one-sorted language
related: model theory of set theory
related: many-sorted language
related: definable set
related: Kripke model
related: o-minimal structers
related: models of arithmetic
related: first order language
related: compactness theorem
related: counterexample
related: Ehrenfeucht-Mostowski structure

structure
type: Concept
narrower: model
preferred label: ساختار @fa