Old Web
English
Sign In
Acemap
>
Paper
>
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions
1980
Wolfram Pohlers
Keywords:
Discrete mathematics
Ordinal analysis
Combinatorics
Mathematical logic
Impredicativity
Iterated function
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
11
Citations
NaN
KQI
[]