Predicative Arithmetic. (MN-32), Edward Nelson (9780691638423) — Readings Books
Predicative Arithmetic. (MN-32)
Hardback

Predicative Arithmetic. (MN-32)

$154.99
Sign in or become a Readings Member to add this title to your wishlist.

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

Read More
In Shop
Out of stock
Shipping & Delivery

$9.00 standard shipping within Australia
FREE standard shipping within Australia for orders over $100.00
Express & International shipping calculated at checkout

MORE INFO

Stock availability can be subject to change without notice. We recommend calling the shop or contacting our online team to check availability of low stock items. Please see our Shopping Online page for more details.

Format
Hardback
Publisher
Princeton University Press
Country
United States
Date
28 June 2016
Pages
200
ISBN
9780691638423

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

Read More
Format
Hardback
Publisher
Princeton University Press
Country
United States
Date
28 June 2016
Pages
200
ISBN
9780691638423