Predicative Arithmetic

by Edward Nelson
language: english
Publisher: Princeton University Press, April of 2016 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
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

Predicative Arithmetic

by Edward Nelson

Property Description
ISBN: 9780691638423
Publisher: Princeton University Press
Release Date: April of 2016
Language: English
Dimensions: 152 x 229 x 20 mm
Cover: Hardcover
Pages: 200
Format: Book
Collection: Princeton Legacy Library
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9780691638423

BOOKS FROM THE SAME COLLECTION