آنالیز نااستاندارد
preferred label: non-standard analysis @en
type: Concept
related: قضیه فشردگی

قضیه هلی
preferred label: Helly theorem @en
type: Concept
related: قضیه فشردگی

زیرمجموعه
preferred label: subset @en
type: Concept
related: قضیه فشردگی

فضای استون
preferred label: Stone space @en
type: Concept
related: قضیه فشردگی

قضیه فشردگی
preferred label: compactness theorem @en
broader: منطق کلاسیک مرتبه اول
type: Concept
related: آنالیز نااستاندارد
related: مدل
related: قضیه لوون هایم-اسکولم
related: قضیه هلی
related: قضیه فشردگی ضعیف
related: زیرمجموعه
related: فضای استون
scope note: اگر S مجموعه ای از گزاره ها باشد در زبان مرتبه اول L مدل دارد اگر و تنها اگر هر زیرمجموعه متناهی از آن مدل داشته باشد.

مدل
preferred label: model @en
type: Concept
related: قضیه فشردگی

قضیه لوون هایم-اسکولم
preferred label: Lowenheim-Skolem theorem @en
type: Concept
related: قضیه فشردگی

قضیه فشردگی ضعیف
preferred label: weak compactness theorem @en
type: Concept
related: قضیه فشردگی

منطق کلاسیک مرتبه اول
preferred label: classical first order logic @en
type: Concept
narrower: قضیه فشردگی