Edward Nelson
Princeton University Press
e druk, 2014
9780691610290
Predicative Arithmetic
Specificaties
Paperback, 200 blz.
|
EN
Princeton University Press |
e druk, 2014
ISBN13: 9780691610290
Rubricering
Onderdeel van serie
Mathematical Notes
Levertijd ongeveer 15 werkdagen
Samenvatting
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
Specificaties
ISBN13:9780691610290
Taal:EN
Bindwijze:Paperback
Aantal pagina's:200
Uitgever:Princeton University Press
Serie:Mathematical Notes