view in publisher's site

On Logical Sentences in PA

Publisher SummaryThe chapter discusses the Paris–Harrington partition theorem (PH), which is used to prove the consistency of Peano arithmetic (PA). A finitary π02 combinatorial principle capturing π11-CAO, based on end-homogeneity instead of homogeneity is presented.. The method of producing theories with incomparable and equal consistency strength along is demonstrated along with examples.

بر روی حکم‌های منطقی در PA

در فصل SummaryThe، قضیه تفکیک پاریس - هرینگتون (PH)را توضیح می‌دهد، که برای اثبات پایداری محاسباتی Peano (PA)به کار می‌رود. یک finitary (۰۲ π)یک اصل ترکیبی (π ۱۱)را به جای همگنی بدست می‌دهد. این روش تولید نظریه‌ها با قدرت سازگاری بی‌نظیر و برابر همراه با مثال نشان‌داده شده‌است.

ترجمه شده با

Download PDF سفارش ترجمه این مقاله این مقاله را خودتان با کمک ترجمه کنید
سفارش ترجمه مقاله و کتاب - شروع کنید

95/12/18 - با استفاده از افزونه دانلود فایرفاکس و کروم٬ چکیده مقالات به صورت خودکار تشخیص داده شده و دکمه دانلود فری‌پیپر در صفحه چکیده نمایش داده می شود.