Proof Theory
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540693185, 9783540693192

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ordinal Analysis of the Theory for Inductive Definitions

Proof Theory ◽

10.1007/978-3-540-69319-2_9 ◽

2008 ◽

pp. 157-206

Keyword(s):

Ordinal Analysis ◽

Inductive Definitions

Download Full-text

Predicativity Revisited

Proof Theory ◽

10.1007/978-3-540-69319-2_12 ◽

2008 ◽

pp. 297-332

Download Full-text

Historical Background

Proof Theory ◽

10.1007/978-3-540-69319-2_1 ◽

2008 ◽

pp. 1-8

Keyword(s):

Historical Background

Download Full-text

Provably Recursive Functions of NT

Proof Theory ◽

10.1007/978-3-540-69319-2_10 ◽

2008 ◽

pp. 207-235

Keyword(s):

Recursive Functions

Download Full-text

Inductive Definitions

Proof Theory ◽

10.1007/978-3-540-69319-2_6 ◽

2008 ◽

pp. 83-104

Keyword(s):

Inductive Definitions

Download Full-text

Nonmonotone Inductive Definitions

Proof Theory ◽

10.1007/978-3-540-69319-2_13 ◽

2008 ◽

pp. 333-351

Keyword(s):

Inductive Definitions

Download Full-text

Autonomous Ordinals and the Limits of Predicativity

Proof Theory ◽

10.1007/978-3-540-69319-2_8 ◽

2008 ◽

pp. 131-156

Download Full-text

Truth Complexity for ∏11-Sentences

Proof Theory ◽

10.1007/978-3-540-69319-2_5 ◽

2008 ◽

pp. 69-82

Download Full-text

Pure Logic

Proof Theory ◽

10.1007/978-3-540-69319-2_4 ◽

2008 ◽

pp. 43-68

Keyword(s):

Download Full-text

Ordinals

Proof Theory ◽

10.1007/978-3-540-69319-2_3 ◽

2008 ◽

pp. 17-42 ◽

Download Full-text