Proof Theory - Lecture Notes in Mathematics
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540518426, 9783540468257

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0083412 ◽

2006 ◽

pp. 1-6

Download Full-text

Ordinal analysis of the formal theory for noniterated inductive definitions

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0083415 ◽

2006 ◽

pp. 109-186

Keyword(s):

Formal Theory ◽

Ordinal Analysis ◽

Inductive Definitions

Download Full-text

Ordinal analysis of pure number theory

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0083413 ◽

2006 ◽

pp. 7-76

Keyword(s):

Number Theory ◽

Ordinal Analysis ◽

Download Full-text

The autonomous ordinal of the infinitary system ℤ∞ and the limits of predicativity

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/bfb0083414 ◽

2006 ◽

pp. 77-108

Download Full-text

Introduction

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/978-3-540-46825-7_1 ◽

1989 ◽

pp. 1-6

Download Full-text

Ordinal Analysis of Pure Number Theory

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/978-3-540-46825-7_2 ◽

1989 ◽

pp. 7-76

Keyword(s):

Number Theory ◽

Ordinal Analysis ◽

Download Full-text

Ordinal analysis of the formal theory for noniterated inductive definitions

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/978-3-540-46825-7_4 ◽

1989 ◽

pp. 109-186

Keyword(s):

Formal Theory ◽

Ordinal Analysis ◽

Inductive Definitions

Download Full-text

The autonomous ordinal of the infinitary system Z∞ and the limits of predicativity

Proof Theory - Lecture Notes in Mathematics ◽

10.1007/978-3-540-46825-7_3 ◽

1989 ◽

pp. 77-108

Download Full-text