
Tell your friends about this item:
Predicative Arithmetic - Mathematical Notes
Edward Nelson
Predicative Arithmetic - Mathematical Notes
Edward Nelson
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
198 pages, black & white illustrations
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | July 14, 2014 |
ISBN13 | 9780691610290 |
Publishers | Princeton University Press |
Pages | 200 |
Dimensions | 152 × 229 × 11 mm · 425 g (Weight (estimated)) |
Language | English |
Show all
More by Edward Nelson
See all of Edward Nelson ( e.g. Paperback Book , Hardcover Book and Book )