classical first order logic
preferred label: منطق کلاسیک مرتبه اول @fa
type: Concept
related: classification of first order strucuters

classification of first order strucuters
related: one-sorted structure
related: cardinal
related: cardinality of signature
related: classical first order logic
related: categoricity theorem
related: many-sorted structure
related: structure
related: language
related: many-sorted language
related: Baldwin-Lachlan theorem
related: categoricity
related: one-sorted language
related: cardinality of language
preferred label: رده‌بندی ساختارهای مرتبه‌اول @fa
narrower: simple theory
narrower: hyperimaginary element
narrower: forking
narrower: imaginary element
type: Concept
broader: classification theory

categoricity theorem
preferred label: قضیه جازمیت @fa
type: Concept
related: classification of first order strucuters

one-sorted language
preferred label: زبان تک-گونه‌ای @fa
type: Concept
related: classification of first order strucuters

many-sorted structure
preferred label: ساختار چند-گونه‌ای @fa
type: Concept
related: classification of first order strucuters

simple theory
preferred label: نظریه ساده @fa
type: Concept
broader: classification of first order strucuters

Baldwin-Lachlan theorem
preferred label: قضیه بالدوین-لاخلان @fa
type: Concept
related: classification of first order strucuters

cardinality of language
preferred label: قوت زبان @fa
type: Concept
related: classification of first order strucuters

hyperimaginary element
preferred label: عنصر فراموهومی @fa
type: Concept
broader: classification of first order strucuters

many-sorted language
preferred label: زبان چند-گونه‌ای @fa
type: Concept
related: classification of first order strucuters

one-sorted structure
preferred label: ساختار یک-گونه‌ای @fa
type: Concept
related: classification of first order strucuters

cardinality of signature
preferred label: قوت نشان @fa
type: Concept
related: classification of first order strucuters

imaginary element
preferred label: عنصر موهومی @fa
type: Concept
broader: classification of first order strucuters

forking
preferred label: فورکینگ @fa
type: Concept
broader: classification of first order strucuters

structure
preferred label: ساختار @fa
type: Concept
related: classification of first order strucuters

language
preferred label: زبان @fa
type: Concept
related: classification of first order strucuters

categoricity
preferred label: جازمیت @fa
type: Concept
related: classification of first order strucuters

cardinal
preferred label: اصلی @fa
type: Concept
related: classification of first order strucuters

classification theory
preferred label: نظریه رده‌بندی @fa
type: Concept
narrower: classification of first order strucuters