Udvidet returret til d. 31. januar 2025

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.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 21. november 2024

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.