1

2 Table of Contents: “... -- Models of Peano Arithmetic and Consequences for Logic -- Arithmetic in Peano Arithmetic -- Gödelisation...”

3 Table of Contents: “...Models of Peano Arithmetic -- Cuts in Models of Arithmetic -- Two notes on the Paris independence...”

4 “... of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic...”

5 Table of Contents: “..., and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over...”

6 Table of Contents: “... -- The axiom of choice and the continuum hypothesis -- Models -- From Gödel to Cohen. Peano arithmetic...”

7 “.... It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately...”

8 “... in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis...”

9 Table of Contents: “...-MacQueen theorem -- Recursively saturated, rather classless models of peano arithmetic -- The degrees...”

10 Table of Contents: “... Gödel's Incompleteness Theorems -- 14 Hilbert’s 10th Problem -- 15 Peano Arithmetic and ϵ0 -- 16 Models...”

11 Table of Contents: “...: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic...”

12 Table of Contents: “... Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic...”

13 “... of Peano's arithmetic is based on the natural deduction system...”

14 “... of Peano's arithmetic is based on the natural deduction system...”

15 “... of Peano's arithmetic is based on the natural deduction system...”

16 “... of Peano's arithmetic is based on the natural deduction system...”

17 “... of the incompleteness of Peano arithmetic, provides a digression to discrepancy theory, and examines extensions...”