Predicative Arithmetic. by Edward Nelson
Predicative Arithmetic.

Edward Nelson

Predicative Arithmetic.

Edward Nelson

198 pages first pub 1986 (editions)

informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

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 ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...