Welcome to E-Books Directory
This is a freely downloadable e-book.

Predicative Arithmetic

Predicative Arithmetic
by Edward Nelson

Publisher: Princeton Univ Pr 1987
ISBN/ASIN: 0691084556
ISBN-13: 9780691084558
Number of pages: 201

Description:
The book is based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, Euclidean algorithm, encoding, sets and functions, and more.

Home page url

 Download or read it online here:

Download link

 (5.3MB, PDF)