Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040)
From MaRDI portal
scientific article; zbMATH DE number 938824
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa |
scientific article; zbMATH DE number 938824 |
Statements
Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (English)
0 references
12 May 1997
0 references
ordinal analysis
0 references
report of the present status
0 references
axiomatic systems
0 references
second-order arithmetic
0 references
set theory
0 references
inductive definitions
0 references
constructible universe
0 references
proof trees
0 references
collapsing functions
0 references
local predicativity
0 references
impredicativity
0 references
0 references
0 references
0 references
