نظریه پایدار
preferred label: stable theory @en
type: Concept
related: تایپ تعریف‌پذیر

مجموعه تعریف‌پذیر
preferred label: definable set @en
type: Concept
related: تایپ تعریف‌پذیر

اصلی
preferred label: cardinal @en
type: Concept
related: تایپ تعریف‌پذیر

فضای استون
preferred label: Stone space @en
type: Concept
related: تایپ تعریف‌پذیر

نظریه ساده
preferred label: simple theory @en
type: Concept
narrower: تایپ تعریف‌پذیر

تایپ
preferred label: type @en
type: Concept
related: تایپ تعریف‌پذیر

زبان
preferred label: language @en
type: Concept
related: تایپ تعریف‌پذیر

فرمول
preferred label: formula @en
type: Concept
related: تایپ تعریف‌پذیر

تایپ تعریف‌پذیر
type: Concept
related: قوت زبان
related: فضای استون
related: فرمول
related: زبان
related: اصلی
related: نظریه پایدار
related: مجموعه تعریف‌پذیر
related: تایپ
preferred label: definable type @en
broader: نظریه ساده

قوت زبان
preferred label: cardinality of language @en
type: Concept
related: تایپ تعریف‌پذیر