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 Table of Contents: “...Preface -- Chapter 1: Recursion, Induction -- Chapter 2: Peano Arithmetic, Incompleteness...”

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

6 Table of Contents: “...47. From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic -- 48. Second-Order Peano...”

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

8 Table of Contents: “... Trees and Π01 Classes -- Chap. 8 Open and Closed Classes -- Chap. 9 Basis Theorems -- Chap. 10 Peano...”

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

10 “.... This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial...”

11 Table of Contents: “... and theses of Le?niewski’s Ontology -- 3. Class theory -- Two: Peano Arithmetic and Whitehead’s Theory...”

12 Table of Contents: “... for arithmetic -- Generic models and the analytic hierarchy -- Applications to complete extensions of peano...”

13 “... pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper...”

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

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

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

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

18 Table of Contents: “... and decidability -- 7. Incompleteness of Peano arithmetic -- 2. Descriptive Complexity -- 8 Complexity: time...”

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

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