Predicative Arithmetic | Agenda Bookshop Skip to content
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
2%
off
Product Image

Predicative Arithmetic

★★★★★
★★★★★

English

By (author): 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 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. See more
€43.99
€44.99
Save 2%
A01=Edward NelsonAge Group_UncategorizedAlmost surelyArithmeticArithmetic IFAtomic formulaAuthor_Edward Nelsonautomatic-updateAxiomAxiomatic systemBeta functionBig O notationBinary numberBinary relationCategory1=Non-FictionCategory=PBCDClassical mathematicsClosed-form expressionCommutative propertyComputationConservative extensionConsistencyContradictionCOP=United StatesDeduction theoremDelivery_Delivery within 10-20 working daysDirect proofeq_isMigrated=2Existential quantificationExponential functionExponentiationExtension by definitionsFinitaryFinite setFoundations of mathematicsFundamenta MathematicaeGödel's completeness theoremHerbrand's theoremImpredicativityInaccessible cardinalInferenceInterpretabilityLanguage_EnglishLogicLogical connectiveMathematical inductionMathematicianMathematicsMeasurable cardinalMetatheoremNatural numberNegationNon-standard analysisNotationP-adic analysisPA=AvailablePeano axiomsPolynomialPositional notationPower of twoPower setPrice_€20 to €50Primitive notionPrimitive recursive functionPrincipia MathematicaProbability theoryPS=ActiveQuantifier (logic)Ranking (information retrieval)Rational numberReal numberRecursion (computer science)Robert LanglandsRule of inferenceScientific notationSet theorysoftlaunchSubsetTheoremTransfer principleTransfinite numberTupleVariable (mathematics)Zermelo–Fraenkel set theory
Delivery/Collection within 10-20 working days
Product Details
  • Weight: 28g
  • Dimensions: 152 x 229mm
  • Publication Date: 14 Jul 2014
  • Publisher: Princeton University Press
  • Publication City/Country: US
  • Language: English
  • ISBN13: 9780691610290

Customer Reviews

Be the first to write a review
0%
(0)
0%
(0)
0%
(0)
0%
(0)
0%
(0)
We use cookies to ensure that we give you the best experience on our website. If you continue we'll assume that you are understand this. Learn more
Accept