يعرض 1 - 10 نتائج من 668 نتيجة بحث عن '"Peano arithmetic"', وقت الاستعلام: 0.94s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Explicit Abstract Objects in Predicative Settings

    المؤلفون: Ebels-Duggan, SeanAff1, IDs10992024097681_cor1, Boccuni, Francesca

    المصدر: Journal of Philosophical Logic. :1-36

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Indiscernibles and satisfaction classes in arithmetic

    المؤلفون: Enayat, AliAff1, IDs00153024009158_cor1

    المصدر: Archive for Mathematical Logic. 63(5-6):655-677

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    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
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Semi-honest subrecursive degrees and the collection rule in arithmetic

    المؤلفون: Cordón-Franco, AndrésAff1, IDs0015302300889z_cor1, Lara-Martín, F. Félix

    المصدر: Archive for Mathematical Logic. 63(1-2):163-180

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Fermat’s Last Theorem

    المؤلفون: McLarty, ColinAff2, Sriraman, Bharath, Section editorAff3

    المساهمون: Sriraman, Bharath, editorAff1

    المصدر: Handbook of the History and Philosophy of Mathematical Practice. :2011-2033

    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    A defense of Isaacson’s thesis, or how to make sense of the boundaries of finite mathematics

    المؤلفون: Dopico, PabloAff1, Aff2, IDs11229024044880_cor1

    المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 203(2)

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    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
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Jensen Δn1 Reals by Means of ZFC and Second-Order Peano Arithmetic

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

    المصدر: Axioms, Vol 13, Iss 2, p 96 (2024)

    مصطلحات موضوعية: forcing, projective well-orderings, projective classes, Peano arithmetic, Mathematics, QA1-939

    وصف الملف: electronic resource

    Relation: https://www.mdpi.com/2075-1680/13/2/96; https://doaj.org/toc/2075-1680

    URL الوصول: https://doaj.org/article/5f7576eb4d3440dfa7c44f559739c13c

    Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq: Extended Version

    المؤلفون: Kirst, DominikAff1, IDs1081702209647x_cor1, Hermes, Marc

    المصدر: Journal of Automated Reasoning. 67(1)

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  10. 10
    كتاب إلكتروني
    Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic

    المؤلفون: Akbar Tabatabai, AmirhosseinAff10

    المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Ciabattoni, Agata, editorAff7, Pimentel, Elaine, editorAff8, de Queiroz, Ruy J. G. B., editorAff9

    المصدر: Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. 13468:378-394

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