Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1604936433 / rank | |||
Normal rank | |||
Revision as of 01:26, 20 March 2024
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
