Home » Mathematical Foundations » Predicative Arithmetic
Product Image
Edward Nelson

Predicative Arithmetic

★★★★★
★★★★★
€43.99
€44.99 Sale €43.99
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=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
Existential quantification
Exponential function
Exponentiation
Extension by definitions
Finitary
Finite set
Foundations of mathematics
Fundamenta Mathematicae
Gödel'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=Available
Peano axioms
Polynomial
Positional notation
Power of two
Power set
Price_€20 to €50
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 9780691610290
  • Weight: 28g
  • Dimensions: 152 x 229mm
  • Publication Date: 14 Jul 2014
  • Publisher: Princeton University Press
  • Publication City/Country: US
  • Product Form: Paperback
  • Language: English
Delivery/Collection within 10-20 working days

Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock

10-20 Working Days: On Backorder

Will Deliver When Available: On Pre-Order or Reprinting

We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!

Description
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.