مباحثی در نظریهٔ مدل | جلسهٔ ۵: بُعد و هندسهٔ نظریه‌های قویاً مینیمال

جلسهٔ پنجم درس «مباحثی در نظریهٔ مدل» مدرس: مسعود پورمهدیان در این جلسه، مفهوم بُعد برای مجموعه‌ها، چندتایی‌ها و مجموعه‌های تعریف‌پذیر مرور می‌شود. رفتار بُعد در خانواده‌های تعریف‌پذیر، اجتماع و حاصل‌ضرب بررسی می‌شود و نقش پایه‌ها و روش رفت‌وبرگشت در رده‌بندی مدل‌های یک نظریهٔ قویاً مینیمال برحسب بُعد توضیح داده می‌شود. ارتباط این بحث با رده‌بندی ناشمارا و قضیهٔ مورلی نیز مطرح می‌شود. در بخش دوم، پیش‌هندسه و هندسهٔ حاصل از عملگر بستار معرفی می‌شوند. هندسه‌های بدیهی، مدولار و موضعاً مدولار با مثال‌هایی از فضاهای برداری و آفین مقایسه می‌شوند و نابرابری بُعد بررسی می‌شود. پایان جلسه به حدس سه‌گانگی، مثال نقض هروشوفسکی و اشاره‌ای به هندسه‌های زاریسکی اختصاص دارد. بخش‌های جلسه: 00:00 مرور بُعد مجموعه‌ها، چندتایی‌ها و مجموعه‌های تعریف‌پذیر 05:23 خانواده‌های تعریف‌پذیر و خواص بُعد 17:52 مثال‌های جبری و رده‌بندی مدل‌ها برحسب بُعد 24:56 پایه‌ها، ایزومورفیسم‌های جزئی و روش رفت‌وبرگشت 49:16 رده‌بندی ناشمارا و قضیهٔ مورلی 53:38 پیش‌هندسه، عملگر بستار و هندسهٔ متناظر 1:00:45 هندسه‌های بدیهی، مدولار و موضعاً مدولار 1:08:28 میدان‌های بستهٔ جبری و نابرابری بُعد 1:26:19 حدس سه‌گانگی، مثال هروشوفسکی و هندسه‌های زاریسکی پیش‌نیاز: آشنایی با منطق مرتبهٔ اول، مبانی نظریهٔ مدل و جبر مجرد. جلسهٔ قبل:    • مباحثی در نظریهٔ مدل | جلسهٔ ۴: مدل‌های اش...   فهرست کامل جلسات:    • Topics in Model Theory 2026