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....
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Princeton :
Princeton University Press,
2014.
|
| Series: | Mathematical Notes.
|
| Subjects: | |
| Online Access: |
Full text (Emmanuel users only) |