نمودار اتمی
preferred label: atomic diagram @en
type: Concept
related: اصلی

مجموعه ناشمارا
preferred label: uncountable set @en
type: Concept
related: اصلی

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

عدداصلی مالو
preferred label: Mahlo cardinal @en
type: Concept
broader: اصلی

قضیه جازمیت
preferred label: categoricity theorem @en
type: Concept
related: اصلی

زیرساخت بسته
preferred label: closed substructure @en
type: Concept
related: اصلی

هندسه) نظریه پایداری)
preferred label: stability theory(geometry) @en
type: Concept
related: اصلی

نظریه اسکولم
preferred label: skolem theory @en
type: Concept
related: اصلی

مجموعه شمارا
preferred label: countable set @en
type: Concept
related: اصلی

عدداصلی فشرده
preferred label: compact cardinal @en
type: Concept
broader: اصلی

قوت زبان
preferred label: cardinality of language @en
type: Concept
related: اصلی

قوت ساختار
preferred label: cardinality of structure @en
type: Concept
related: اصلی

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

جفت واتی
preferred label: Vaughtian pair @en
type: Concept
related: اصلی

هم‌پایانی عدداصلی
preferred label: cofinality of cardinal @en
type: Concept
broader: اصلی

عدداصلی حدی
preferred label: limit cardinal @en
type: Concept
broader: اصلی

آزمون وات
preferred label: Vaught test @en
type: Concept
related: اصلی

مدل همگن
preferred label: homogeneous model @en
type: Concept
related: اصلی

عدد هارتوکس
preferred label: Hartogs number @en
type: Concept
broader: اصلی

عدداصلی تالی
preferred label: successor cardinal @en
type: Concept
broader: اصلی

تابع اسکولم
preferred label: skolem function @en
type: Concept
related: اصلی

مدل عام نامتناهی
preferred label: infinite generic model @en
type: Concept
related: اصلی

مجموعه
preferred label: set @en
type: Concept
narrower: اصلی

قوت نشان
preferred label: cardinality of signature @en
type: Concept
related: اصلی

ترتیبی
preferred label: ordinal @en
type: Concept
related: اصلی

مثال نقض
preferred label: counterexample @en
type: Concept
related: اصلی

فورکینگ
preferred label: forking @en
type: Concept
related: اصلی

حساب اعداد اصلی
preferred label: cardinal arithmetic @en
type: Concept
broader: اصلی

ساختارهای متناهی‌مولد
preferred label: finitely-generated structure @en
type: Concept
related: اصلی

عدداصلی بزرگ
preferred label: large cardinal @en
type: Concept
broader: اصلی

اصلی
type: Concept
related: مدل همگن
related: فورکینگ
related: تابع اسکولم
related: رده‌بندی ساختارهای مرتبه‌اول
related: تایپ تعریف‌پذیر
related: بسط ساختار
related: مجموعه ناشمارا
related: ترتیبی
related: جفت واتی
related: نظریه رده‌بندی
related: قوت ساختار
related: نظریه اسکولم
related: زیرساخت بسته
related: مجموعه شمارا
related: آزمون وات
related: هندسه) نظریه پایداری)
related: قوت نشان
related: مثال نقض
related: ساختارهای متناهی‌مولد
related: زیرساخت هم پایان
related: قوت زبان
related: مدل عام نامتناهی
related: نمودار اتمی
related: مدل اشباع
related: قضیه جازمیت
narrower: عدداصلی حدی
narrower: هم‌پایانی عدداصلی
narrower: عدداصلی فشرده
narrower: عدداصلی مالو
narrower: حساب اعداد اصلی
narrower: عدداصلی اندازه‌پذیر
narrower: عدد هارتوکس
narrower: عدداصلی تالی
narrower: عدداصلی بزرگ
preferred label: cardinal @en
alternative label: کاردینال
broader: مجموعه

بسط ساختار
preferred label: expansion of structure @en
type: Concept
related: اصلی

نظریه رده‌بندی
preferred label: classification theory @en
type: Concept
related: اصلی

زیرساخت هم پایان
preferred label: cofinal substructure @en
type: Concept
related: اصلی

مدل اشباع
preferred label: saturated model @en
type: Concept
related: اصلی

عدداصلی اندازه‌پذیر
preferred label: measurable cardinal @en
type: Concept
broader: اصلی