Loading...

Σ1−Provabiⅼity Ⅼogiⅽ of Heyting Arithⅿetiⅽ

Ⅾejborⅾ, Naviⅾ | 2024

0 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 58315 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Arⅾeshir, Ⅿohaⅿⅿaⅾ; Ⅿojtaheⅾi, Ⅿojtaba
  7. Abstract:
  8. In this thesis we will study the Σ1-provability logic of HA; to be more precise, we will review logico-mathematical preliminaries from branches such as modal logic, arithmetical theories, constructive mathematics, etc, and finally show that iHσ is a modal theory that is sound and complete for arithmetical Σ1-interpretations in HA and it is decidable
  9. Keywords:
  10. Provability Logic ; Intuitionism ; Arithmetic ; Modal Logic ; Interpretability ; Realizability

 Digital Object List

 Bookmark

  • پیش‌گفتار
  • مقدمات
    • منطق موجهات شهودگرایانه
    • نظریه‌های حساب
      • نظریه‌های PA و HA
      • حفاظت، محافظت و تعبیرپذیری
      • مدل‌های کریپکی bold0mu mumu HA HA subsubsectionHA HA HA HA
    • منطق اثبات‌پذیری
  • تحقق‌پذیری
    • q-تحقق‌پذیری
    • اصل‌های لیوانت
  • الگوریتم‌های تقریب
    • NNIL
    • TNNIL
    • اصول موضوعه‌ی الگوریتم TNNIL
    • برخی ملاحظات موجهاتی
  • تابع سولووی و تبدیل مدل‌های کریپکی
    • تابع سولووی: تعریف و خواص ابتدایی
    • تصمیم‌پذیری گزاره‌های دار
    • تابع سولووی: همیشه همان
    • تبدیل مدل‌های کریپکی
  • منطق 1 -اثبات‌پذیری HA
    • منطق 1 -اثبات‌پذیری bold0mu mumu PA PA subsectionPA PA PA PA
    • صحت، تمامیت و تصمیم‌پذیری iH
    • صورت‌بندی‌های بدیل
...see more