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....
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Princeton :
Princeton University Press,
2014.
|
| Series: | Mathematical Notes.
|
| Subjects: | |
| Online Access: | Texto completo |