جلسات هفتگی نیمسال اول سال تحصیلی ۱۴۰۳-۱۴۰۴
چهارشنبه‌‌ها ۱۴ تا ۱۵
در این هفته‌ها در حال مطالعهٔ مقاله‌ای از یانکه و انسکام با عنوان «دسته‌بندی میدان‌های هِنسلی اِن‌آی‌پی» و همچنین پیشنیازهای این مقاله هستیم.
لینک مقاله در آرکایو:
Characterizing NIP henselian fields
همچنین مطالعهٔ رسالهٔ دکترای اَکاش حسین تحت عنوان «فورکینگ در میدان‌های ارزیابی» را نیز در دستور کار داریم.
لینک رساله در آرکایو:
Forking in valued fields
سخنرانی‌های پیشین
یک‌شنبه، ۷ آذرماه ۱۴۰۰، وبینار آقای افشین زارعی، دانشگاه صنعتی اصفهان، ساختار جمعی اعداد طبیعی با یک دنبالهٔ بیتی
دوشنبه، ۲۹ شهریورماه ۱۴۰۰، سخنرانی برخط آقای دکتر محسن خانی در انجمن منطق ایران،
ساختار جمعی اعداد طبیعی به همراه یک دنبالهٔ بیتی
مدرسهٔ تابستانی درسهائی دربارهٔ مجموعه‌های شبه‌جبری و زیرتحلیلی، دانشگاه صنعتی اصفهان، شروع از ۲۰ تیر ۹۸
دوشنبه، ۲ دی: سخنرانی آقای دکتر خانی، دانشگاه صنعتی اصفهان، قضایای تمامیت و ناتمامیت گودل
سه‌شنبه، ۲۲ مرداد: سخنرانی آقای افشین زارعی، دانشگاه صنعتی اصفهان، برخی توسیع‌های تصمیم‌پذیر ساختار جمعی اعداد حقیقی
دوشنبه، ۱۴ مرداد ۹۸: سخنرانی خانم گلنوش خرسندی، کاربرد قضیهٔ رمزی و دنباله‌های بازنشناختنی
دوشنبه، ۷ مرداد ۹۸: سخنرانی خانم گلنوش خرسندی، دانشگاه صنعتی اصفهان، قضیهٔ رمزی
چهارشنبه، ۲۸ فروردین و ۴ اردیبهشت: مشاهده فیلم سخنرانی انوج دَوار، موسسه سیمون، نظریه مدل متناهی و الگوریتمی
پنجشنبه، ۱۱، ۱۸ و ۲۵ بهمن، ۱۹ و ۲۶ اردیبهشت و چهارشنبه، ۲۲ خرداد: سخنرانی آقای محمد معارفی، میدان‌های ارزیابی
پنجشنبه، ۶ دی: سخنرانی آقای علی ولی‌زاده، پژوهشگاه دانش‌های بنیادی (IPM) شاخهٔ اصفهان، نتایجی در ساختارهای هراشوفسکیپنجشنبه، ۲۹ آذر: سخنرانی آقای افشین زارعی، پژوهشگاه دانش‌های بنیادی (IPM) شاخهٔ اصفهان، بررسی تصمیم‌پذیری بسط‌های ساختار اعداد حقیقی
پنجشنبه، ۲۲ آذر: سخنرانی آقای دکتر محسن خانی، پژوهشگاه دانش‌های بنیادی (IPM) شاخهٔ اصفهان، ایجاد عدم استقلال به‌وسیلهٔ ساختمان‌های هراشوفسکی
چهارشنبه، ۲۳ و ۳۰ آبان و ۲۱ آذر: سخنرانی آقای نیک‌آبادی، دانشگاه صنعتی اصفهان، مساله‌های P و NP
پنجشنبه، ۱۷ آبان: مطالعهٔ گروهی مقالهٔ A Tame Cantor Set, Philipp Hieronymi
و همچنین مشاهدهٔ فیلم سخنرانی پیلا از دانشگاه آکسفورد، O-minimality and Ax-Schanuel properties
یک‌شنبه، ۴ شهریور: جلسه دفاع از پایان‌نامه ارشد خانم مریم واحدیون تحت عنوان درون‌یابی در حساب‌های رشته‌های تودرتو برای منطق وجهی
چهارشنبه، ۶ تیر: مشاهدهٔ فیلم سخنرانی وَن‌دِن‌دریز، دانشگاه ایلینوی، Abraham Robinson's legacy in model theory and its applications
چهارشنبه، ۳۰ خرداد: مشاهدهٔ فیلم سخنرانی هراشوفسکی، دانشگاه عبری اورشلیم، Specialization of difference equations in positive characteristic
سه‌شنبه، ۲۵ اردیبهشت: جلسه دفاع از پایان‌نامه ارشد خانم سمیرا طیبی تحت عنوان منطقِ شناختیِ دینامیکِ شهودی
چهارشنبه، ۱۹ اسفند: سخنرانی خانم سمیرا طیبی، دانشگاه صنعتی اصفهان، منطقِ شناختیِ دینامیکِ شهودی
چهارشنبه، ۱۹ اسفند و ۹ خرداد: مشاهده فیلم سخنرانی فرانسیسکا یانکه، دانشگاه مونستر آلمان، NIP Henselian fields۲۳ و ۳۰ فروردین: فیلم سخنرانی جاناتان پیلا، دانشگاه آکسفورد، O-minimality and Diophantine geomety
۲۳ اسفند: فیلم سخنرانی الکس ویلکی، دانشگاه منچستر، The method of o-minimality
۹ اسفند، ۲۶ و ۱۹ بهمن: فیلم سخنرانی فیلیپ هیرونیمی، دانشگاه ایلینوی، Tame Geometry: A tale of two spirals
دوشنبه ۳۰ بهمن: ساعت ۱۵، سخنرانی محسن خانی، دانشگاه صنعتی اصفهان، اثباتی نظریهٔ مدلی برای قضیهٔ گابریلف
۷ دی، ۳۰ و ۲۳ آذر: فیلم سخنرانی جمشید درخشان، دانشگاه آکسفورد، Model Theory, p-adic Integration, and Applications to Algebra and Number Theory
مطالعهٔ گروهی پیشین:
۱) مقالهٔ Wild theories with o-minimal open core, Philipp Hieronymi, Travis Nell and Erik Walsberg.۴)مقالهٔ Stability and sparsity in sets of natural numbers, Gabriel Conant.
پیوندهای مفید:
صفحهٔ فیلم‌های درس هندسهٔ جبری حقیقی
صفحهٔ فیلم‌های حذف سور در میدان‌های ارزیابی بستهٔ جبری
صفحهٔ فیلم‌های درس مبانی ریاضی در آپارات، نیمسال اول ۰۰-۹۹
صفحهٔ درس منطق ریاضی و نظریهٔ گالوا، نیمسال دوم ۹۸-۹۹
صفحهٔ درس منطق پیشرفته، نیمسال اول ۹۹-۹۸
صفحهٔ درس مبانی ریاضی، نیمسال اول ۹۹-۹۸
صفحهٔ درس مباحثی در منطق، نیمسال دوم ۹۷-۹۸
صفحهٔ درس مبانی ریاضی، نیمسال دوم ۹۷-۹۸
صفحهٔ درس منطق و نظریهٔ مجموعه‌ها نیمسال اول ۹۷-۹۸
صفحهٔ درس مبانی ریاضی، نیمسال دوم ۹۶-۹۷
انتشارات اعضای گروه
مقالات:
1. Khani, M., Valizadeh, A. N. & Zarei, A., ''Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence'', Annals of Pure and Applied Logic, Volume 175, Issue 10, (2024), 103493, https://doi.org/10.1016/j.apal.2024.103493.
2. Mohammadi, H., ''Linear abelian modal logic''. Bull. Sect. Log., 53, No. 1, 1--28 (2024), DOI: https://doi.org/10.18778/0138-0680.2023.30.
3. Khani, M. & Zarei, A., ''The additive structure of integers with the lower Wythoff sequence''. Arch. Math. Logic 62, 225–237 (2023). https://doi.org/10.1007/s00153-022-00846-2.
4. Jalili, S., Khani ,M., & Pourmahdian, M., ''Bi-Colored Expansions of Geometric Theories''. arXiv preprint arXiv:2204.09142 (2022).
5. Mohammadi, H. & Aghaei, M., ''Rooted Hypersequent Calculus for Modal Logic S5''. Log. Univers. 17, 269–295 (2023). https://doi.org/10.1007/s11787-023-00328-w.
پایان‌نامه‌ها و رساله‌ها
۱. پایان‌نامهٔ کارشناسی ارشد خانم شقایق شیرانی، تعریف‌پذیری حلقهٔ ارزیاب در میدان‌های ارزیابی
۲. رسالهٔ دکتری آقای افشین زارعی، بررسی بسط ساختار جمعی اعداد صحیح با یک دنبالهٔ بیتی
۳. پایان‌نامهٔ کارشناسی‌ارشد خانم زهرا یادگاری، تعریف‌پذیری وجودی حلقهٔ ارزیاب در میدان‌های ارزیابی
جزوه‌ها و کتاب‌ها
جزوهٔ نظریهٔ مدل‌ها (با تمرکز بر قضیهٔ مُرلی)
جزوهٔ حذف‌سور در میدان‌های ارزیابی بستۀ جبری
جزوهٔ مبانی منطق و نظریهٔ مجموعه‌ها
جزوهٔ مبانی ریاضی (در دست چاپ)