يعرض 1 - 10 نتائج من 8,255 نتيجة بحث عن '"Peano arithmetic"', وقت الاستعلام: 0.86s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic

    المؤلفون: Kanovei, VladimirAff1, IDs11225024101082_cor1, Lyubetsky, Vassily

    المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-16

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  2. 2
    تقرير
    Peano Arithmetic and $\mu$MALL

    المؤلفون: Manighetti, Matteo, Miller, Dale

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2312.13634

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Provability logic: models within models in Peano Arithmetic

    المؤلفون: Berarducci, AlessandroAff1, IDs40574022003259_cor1, Mamino, Marcello

    المصدر: Bollettino dell'Unione Matematica Italiana. 16(1):25-41

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  4. 4
    تقرير
    Jensen $\varDelta^1_3$ reals by means of ZFC$^-$ or second order Peano arithmetic

    المؤلفون: Kanovei, Vladimir

    مصطلحات موضوعية: Mathematics - Logic, 03E15, 03E30, 03E35

    URL الوصول: http://arxiv.org/abs/2305.12486

    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    ORDER TYPES OF MODELS OF FRAGMENTS OF PEANO ARITHMETIC

    المؤلفون: GALEOTTI, LORENZO, LÖWE, BENEDIKT

    المصدر: The Bulletin of Symbolic Logic, 2022 Jun 01. 28(2), 182-206.

    URL الوصول: https://www.jstor.org/stable/27139153

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية

    لا يتم عرض هذه النتيجة على الضيوف.

    View this record from ISI Web of Science
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    ENAYAT MODELS OF PEANO ARITHMETIC

    المؤلفون: ABDUL-QUADER, ATHAR

    المصدر: The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1501-1511.

    URL الوصول: https://www.jstor.org/stable/26600385

    أضف إلى المفضلة
  9. 9
    مؤتمر
    Fusible numbers and Peano Arithmetic

    المؤلفون: Erickson, Jeff, Nivasch, Gabriel, Xu, Junyan

    المصدر: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-13 Jun, 2021

    Relation: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    View Record from ACM Digital Library
    أضف إلى المفضلة
  10. 10
    تقرير
    The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic

    المؤلفون: Kanovei, Vladimir, Lyubetsky, Vassily

    مصطلحات موضوعية: Mathematics - Logic, 03F35 (Primary), 03E35 (Secondary)

    URL الوصول: http://arxiv.org/abs/2209.07599

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء