Chargement en cours…
Predicative Arithmetic. (MN-32)
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....
| Auteur principal: | |
|---|---|
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Princeton :
Princeton University Press,
2014.
|
| Collection: | Book collections on Project MUSE.
|
| Sujets: | |
| Accès en ligne: | Texto completo |
Table des matières:
- Cover; Table of Contents.