عملگر سوسلین
preferred label: Susline operation @en
type: Concept
broader: روش اظهار

رابطه اظهار
preferred label: forcing relation @en
type: Concept
broader: روش اظهار

فرض پیوستار
preferred label: continuum hypothesis @en
type: Concept
related: روش اظهار

تلاشی لوی
preferred label: Levy collapse @en
type: Concept
broader: روش اظهار

مجموعه عام کوهن
preferred label: Cohen generic set @en
type: Concept
broader: روش اظهار

اظهار مکرر
preferred label: iterated forcing @en
type: Concept
broader: روش اظهار

اصل موضوع انتخاب
preferred label: axiom of choice @en
type: Concept
related: روش اظهار

شرایط اظهار
preferred label: forcing condition @en
type: Concept
broader: روش اظهار

پیوستار
preferred label: continuum @en
type: Concept
related: روش اظهار

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

روش اظهار
type: Concept
broader: نظریه مدل نظریه مجموعه‌ها
narrower: شرایط اظهار
narrower: اظهار مکرر
narrower: تلاشی لوی
narrower: مجموعه عام کوهن
narrower: رابطه اظهار
narrower: عملگر سوسلین
alternative label: روش فورسینگ
related: اصل موضوع انتخاب
related: پیوستار
related: فرض پیوستار
preferred label: forcing method @en