مباحثی در نظریهٔ مدل | جلسهٔ ۶: تعریف‌پذیری و تعبیرپذیری ساختارها

جلسهٔ ششم درس «مباحثی در نظریهٔ مدل» مدرس: مسعود پورمهدیان در این جلسه، تعریف‌پذیری و تعبیرپذیری ساختارها در یک ساختار دیگر معرفی می‌شود. ابتدا تعریف‌پذیری توابع منظم و گروه‌های جبری، از جمله گروه‌های ماتریسی، بررسی می‌شود. سپس تعریف رسمی ساختارهای تعریف‌پذیر، نقش انتخاب زبان و تعریف میدان اعداد مختلط در ساختار اعداد حقیقی توضیح داده می‌شود. در ادامه، تعبیرپذیری با استفاده از روابط هم‌ارزی و ساختارهای خارج‌قسمتی معرفی می‌شود و گروه‌های خارج‌قسمتی، فضاهای تصویری و واریته‌های تصویری به‌عنوان مثال بررسی می‌شوند. بخش پایانی به بازسازی میدان از گروه تبدیلات آفین خط، تعریف عملیات میدان در این گروه و نقش انتخاب یک پارامتر در تعریف‌پذیری متقابل اختصاص دارد. بخش‌های جلسه: 00:00 مرور مسیر درس و ساختارهای جبری 03:27 توابع منظم و تعریف‌پذیری 13:21 گروه‌های ماتریسی به‌عنوان ساختارهای تعریف‌پذیر 20:50 تعریف رسمی ساختارهای تعریف‌پذیر 26:07 انتخاب زبان و تعریف اعداد مختلط در اعداد حقیقی 33:15 گروه تبدیلات آفین و ارتباط آن با میدان 41:24 توابع خارج‌قسمتی، تعبیرپذیری و مثال گروه خارج‌قسمتی 1:00:15 فضاهای تصویری و واریته‌های تصویری 1:10:08 بازسازی میدان و تعریف‌پذیری متقابل با یک پارامتر پیش‌نیاز: آشنایی با منطق مرتبهٔ اول، مبانی نظریهٔ مدل و جبر مجرد. فهرست کامل جلسات:    • Topics in Model Theory 2026