Marknadens största urval
Snabb leverans
Om Predicative Arithmetic

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

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780691610290
  • Format:
  • Häftad
  • Sidor:
  • 200
  • Utgiven:
  • 14 Juli 2014
  • Mått:
  • 152x229x11 mm.
  • Vikt:
  • 28 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 29 Oktober 2024

Beskrivning av Predicative Arithmetic

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

Användarnas betyg av Predicative Arithmetic



Hitta liknande böcker
Boken Predicative Arithmetic finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.