Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions

✍ Scribed by Pohlers, W.

• Publisher: Springer-Verlag
• Year: 1980
• Weight: 826 KB
• Volume: 22
• Category: Article
• ISSN: 0003-9268
• DOI: 10.1007/bf02318028