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

Predicativity Revisited

Proof Theory ◽

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

2008 ◽

pp. 297-332

Historical Background

Proof Theory ◽

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

2008 ◽

pp. 1-8

Keyword(s):

Historical Background

Provably Recursive Functions of NT

Proof Theory ◽

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

2008 ◽

pp. 207-235

Keyword(s):

Recursive Functions

Inductive Definitions

Proof Theory ◽

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

2008 ◽

pp. 83-104

Keyword(s):

Inductive Definitions

Nonmonotone Inductive Definitions

Proof Theory ◽

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

2008 ◽

pp. 333-351

Keyword(s):

Inductive Definitions

Autonomous Ordinals and the Limits of Predicativity

Proof Theory ◽

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

2008 ◽

pp. 131-156

Truth Complexity for ∏11-Sentences

Proof Theory ◽

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

2008 ◽

pp. 69-82

Pure Logic

Proof Theory ◽

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

2008 ◽

pp. 43-68

Keyword(s):

Pure Logic

Ordinals

Proof Theory ◽

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

2008 ◽

pp. 17-42 ◽

Cited By ~ 1