Predicative arithmetic

این کتاب بدون اصل استقرا، حساب را توسعه می‌دهد و در نظریه‌هایی کار می‌کند که در نظریه رافائل رابینسون Q قابل تفسیر هستند. فرمول‌های استقرایی خاصی، فرمول‌های محدود، در Q قابل تفسیر هستند. حساب ساخته شده است.

اصلاً در سال 1986 منتشر شد.

کتابخانه قدیمی پرینستون از آخرین فناوری چاپ بر اساس تقاضا استفاده می کند مجدداً کتاب‌هایی که قبلاً چاپ نشده بودند را از فهرست برجسته انتشارات دانشگاه پرینستون در دسترس قرار دهید. این نسخه‌های شومیز، متون اصلی این کتاب‌های مهم را حفظ می‌کنند و در عین حال آنها را در نسخه‌های شومیز بادوام ارائه می‌دهند. هدف کتابخانه میراث پرینستون افزایش چشمگیر دسترسی به میراث علمی غنی موجود در هزاران کتاب منتشر شده توسط انتشارات دانشگاه پرینستون از زمان تأسیس آن در سال 1905 است.

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed.

Originally published in 1986.

The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.