A01=Edward Nelson
Age Group_Uncategorized
Age Group_Uncategorized
Almost surely
Arithmetic
Arithmetic IF
Atomic formula
Author_Edward Nelson
automatic-update
Axiom
Axiomatic system
Beta function
Big O notation
Binary number
Binary relation
Category1=Non-Fiction
Category=PBC
Category=PBCD
Classical mathematics
Closed-form expression
Commutative property
Computation
Conservative extension
Consistency
Contradiction
COP=United States
Deduction theorem
Delivery_Delivery within 10-20 working days
Direct proof
eq_isMigrated=2
eq_nobargain
Existential quantification
Exponential function
Exponentiation
Extension by definitions
Finitary
Finite set
Foundations of mathematics
Fundamenta Mathematicae
Godel's completeness theorem
Herbrand's theorem
Impredicativity
Inaccessible cardinal
Inference
Interpretability
Language_English
Logic
Logical connective
Mathematical induction
Mathematician
Mathematics
Measurable cardinal
Metatheorem
Natural number
Negation
Non-standard analysis
Notation
P-adic analysis
PA=Not available (reason unspecified)
Peano axioms
Polynomial
Positional notation
Power of two
Power set
Price_€100 and above
Primitive notion
Primitive recursive function
Principia Mathematica
Probability theory
PS=Active
Quantifier (logic)
Ranking (information retrieval)
Rational number
Real number
Recursion (computer science)
Robert Langlands
Rule of inference
Scientific notation
Set theory
softlaunch
Subset
Theorem
Transfer principle
Transfinite number
Tuple
Variable (mathematics)
Zermelo-Fraenkel set theory
Product details
- ISBN 9780691638423
- Weight: 454g
- Dimensions: 152 x 229mm
- Publication Date: 19 Apr 2016
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Hardback
- Language: English
Secure
checkout
Fast Shipping
Easy returns
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 editions preserve the original texts of these important books while presenting them in durable paperback and hardcover 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.
