De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Predicative Arithmetic

Bag 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 mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780691610290
  • Indbinding:
  • Paperback
  • Sideantal:
  • 200
  • Udgivet:
  • 14. juli 2014
  • Størrelse:
  • 152x229x11 mm.
  • Vægt:
  • 28 g.
  • 8-11 hverdage.
  • 20. november 2024

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Beskrivelse af 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

Brugerbedømmelser af Predicative Arithmetic



Find lignende bøger
Bogen Predicative Arithmetic findes i følgende kategorier: