نظریه گراف
type: Concept
preferred label: graph theory @en
related: نظریه مدل

نظریه ال
type: Concept
preferred label: l-theory @en
related: نظریه مدل

تعریف
type: Concept
preferred label: definition @en
related: نظریه مدل

مدل‌های حساب
type: Concept
preferred label: models of arithmetic @en
related: نظریه مدل

منطق جبری
type: Concept
preferred label: algebraic logic @en
related: نظریه مدل

نظریه مرتبه اول
type: Concept
preferred label: first order theory @en
related: نظریه مدل

منطق کلاسیک مرتبه اول
type: Concept
preferred label: classical first order logic @en
related: نظریه مدل

منطق کلاسیک
type: Concept
preferred label: classical logic @en
related: نظریه مدل

معنا شناسی
type: Concept
preferred label: semantic @en
related: نظریه مدل

منطق شهودگرایانه
type: Concept
preferred label: intuitionistic logic @en
related: نظریه مدل

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

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

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

ساختار
type: Concept
broader: نظریه مدل
preferred label: structure @en

نظریه رده‌بندی
type: Concept
broader: نظریه مدل
preferred label: classification theory @en

نظریه مدل
type: Concept
broader: منطق ریاضی
narrower: نظریه رده‌بندی
narrower: ساختار
preferred label: model theory @en
related: نظریه مرتبه اول
related: قضیه فشردگی ضعیف
related: منطق جبری
related: تعریف
related: معنا شناسی
related: قضیه تمامیت
related: نظریه اعداد
related: نظریه مدل نظریه مجموعه‌ها
related: منطق کلاسیک مرتبه اول
related: مدل‌های حساب
related: نظریه مجموعه‌ها
related: منطق شهودگرایانه
related: نظریه ال
related: نظریه گراف
related: منطق کلاسیک
related: هندسه جبری
scope note: بررسی کلی و کیفی ساختارهای ریاضی.

منطق ریاضی
type: Concept
narrower: نظریه مدل
preferred label: mathematical logic @en

قضیه تمامیت
type: Concept
preferred label: completeness theorem @en
related: نظریه مدل

نظریه اعداد
type: Concept
preferred label: number theory @en
related: نظریه مدل

هندسه جبری
type: Concept
preferred label: algebraic geometry @en
related: نظریه مدل