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

compactness theorem
preferred label: قضیه فشردگی @fa
type: Concept
broader: classical first order logic

model theory
preferred label: نظریه مدل @fa
type: Concept
related: classical first order logic

classical logic
preferred label: منطق کلاسیک @fa
type: Concept
narrower: classical first order logic

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

classical first order logic
type: Concept
related: one-sorted structure
related: structure
related: classification of first order strucuters
related: model theory of set theory
related: model theory
preferred label: منطق کلاسیک مرتبه اول @fa
broader: classical logic
narrower: compactness theorem

structure
preferred label: ساختار @fa
type: Concept
related: classical first order logic

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