The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories

TitleThe Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories
Publication TypeJournal Article
Year of Publication2011
AuthorsJäger, G, Probst, D
JournalAnnals of Pure and Applied logic
Volume162
Issue8
Pagination647-660
Date Published2011
KeywordsSuslin operator in applicative theories
URLhttp://www.iam.unibe.ch/ltgpub/2011/jp11.pdf
DOI10.1016/j.apal.2011.01.009