Utvidet returrett til 31. januar 2025
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

Vis mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780691610290
  • Bindende:
  • Paperback
  • Sider:
  • 200
  • Utgitt:
  • 14. juli 2014
  • Dimensjoner:
  • 152x229x11 mm.
  • Vekt:
  • 28 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse 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

Brukervurderinger av Predicative Arithmetic



Finn lignende bøker
Boken Predicative Arithmetic finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.