Norges billigste bøker
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.
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 20. januar 2025
Utvidet returrett til 31. januar 2025
  •  

    Kan ikke leveres før jul.
    Kjøp nå og skriv ut et gavebevis

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.