The proof-theoretic analysis of the Suslin operator in applicative theories

TitleThe proof-theoretic analysis of the Suslin operator in applicative theories
Publication TypeConference Paper
Year of Publication2002
AuthorsJäger, G, Strahm, T
EditorSieg, W, Sommer, R, Talcott, C
Conference NameReflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Pagination270-292
PublisherAK Peters
URLhttp://www.iam.unibe.ch/ltgpub/2002/js02a.pdf