Loading…
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....
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Princeton :
Princeton University Press,
2014.
|
| Series: | Book collections on Project MUSE.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- Cover; Table of Contents.