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

first order theory
type: Concept
preferred label: نظریه مرتبه اول @fa
related: Lowenheim-Skolem theorem

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

first order logic
type: Concept
preferred label: منطق مرتبه اول @fa
related: Lowenheim-Skolem theorem

reflection principle (set theory)
type: Concept
preferred label: اصل بازتاب (نظریه مجموعه) @fa
related: Lowenheim-Skolem theorem

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

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

Lowenheim-Skolem theorem
type: Concept
broader: model
narrower: downward Lowenheim-Skolem theorem
narrower: upward Lowenheim-Skolem theorem
preferred label: قضیه لوون هایم-اسکولم @fa
related: reflection principle (set theory)
related: first order theory
related: reflection principle
related: first order language
related: first order logic
related: compactness theorem

model
type: Concept
narrower: Lowenheim-Skolem theorem
preferred label: مدل @fa

reflection principle
type: Concept
preferred label: اصل بازتاب @fa
related: Lowenheim-Skolem theorem