جنبههای توپولوژیک از منطق مرتبه اول کلاسیک
دریافت مدرک
FullText
اندازه فایل:
176.7کیلوبایتنوع فايل (MIME):
PDFنوع مدرک
Textپژوهشی اصیل
زبان مدرک
فارسیچکیده
منطق مرتبه اول کلاسیک رایجترین منطق در کاربردهای ریاضیات و همچنین در مطالعه بنیادهای منطقی میباشد. از دیر باز تنها ارتباط بین منطق و توپولوژی ریاضی محدود به مفهوم فضاهای تایپ بوده و پیوندهای دیگری بین این دو حوزه متصور نبوده است. اخیرا پیوندهای اساسی بین این دو شاخه (یعنی منطق و توپولوژی) ایجاد شده است که کاربردهای زیادی در هر دو حوزه منطق و همچنین در توپولوژی را موجب شدهاند. در این مقاله به مطالعه برخی از مهمترین پیوندهای این دو شاخه از ریاضیات و همچنین کاربردهای آنها خواهیم پرداخت. یکی از مفاهیم کلیدی در منطق ریاضی و نظریه مدلها مفهوم پایداری میباشد که بیانی کاملا ترکیبیاتی دارد. در این مقاله نشان میدهیم که این مفهوم معادل یک مفهوم توپولوژیک برای مجموعه مشخصی از توابع میباشد و با استفاده از آن قضیهای بنیادین در نظریه پایداری شلاح را ثابت میکنیم. همچنین ارتباط بین مفهوم وابستگی و یک خاصیت توپولوژیک از مجموعهای از توابع را بیان میکنیم و اثباتی توپولوژیک از برخی از دستاوردهای مهم نظریه مدلها را ارائه خواهیم داد. برخی از نتایج ارائه شده در این مقاله در هر دو حوزه منطق و توپولوژی کاملا جدید هستند و احتمال کاربردهای بیشتر از آنها در مطالعات آتی متصور میباشد.
کلید واژگان
منطق مرتبه اول کلاسیکتعریفپذیری
پایداری
خاصیت وابستگی
همارث
شماره نشریه
1تاریخ نشر
2019-03-211398-01-01
ناشر
پژوهشگاه علوم انسانی و مطالعات فرهنگیInstitute for Humanities and Cultural Studies
سازمان پدید آورنده
دانشگاه صنعتی اراکشاپا
2383-06622383-0670
