¿ìÉ«Ö±²¥

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 ¿ìÉ«Ö±²¥ Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of ¿ìÉ«Ö±²¥. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the ¿ìÉ«Ö±²¥ Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by ¿ìÉ«Ö±²¥ since its founding in 1905.