Old Web
English
Sign In
Acemap
>
Paper
>
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
Cut-elimination for impredicative infinitary systems part I. Ordinal-analysis for ID1
1981
Wolfram Pohlers
Keywords:
Ordinal analysis
Discrete mathematics
Mathematical logic
Combinatorics
Impredicativity
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
13
Citations
NaN
KQI
[]