The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories. Jäger, G. & Probst, D. Annals of Pure and Applied Logic, 162(8):647–660, 2011. Paper doi bibtex @Article{jp11,
Author = {Gerhard J{\"a}ger and Dieter Probst},
Title = {The Suslin operator in applicative theories: Its
proof-theoretic analysis via ordinal theories},
Journal = {Annals of Pure and Applied Logic},
Volume = 162,
Number = 8,
Pages = {647--660},
doi = {10.1016/j.apal.2011.01.009},
issn = {0168-0072},
keywords = {Proof theory, Suslin operator in applicative theories,
Ordinal theories},
url = {2011/jp11.pdf },
year = 2011
}
Downloads: 0
{"_id":"g4ref54D6Jo5Xg9tM","bibbaseid":"jger-probst-thesuslinoperatorinapplicativetheoriesitsprooftheoreticanalysisviaordinaltheories-2011","authorIDs":[],"author_short":["Jäger, G.","Probst, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]},{"firstnames":["Dieter"],"propositions":[],"lastnames":["Probst"],"suffixes":[]}],"title":"The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories","journal":"Annals of Pure and Applied Logic","volume":"162","number":"8","pages":"647–660","doi":"10.1016/j.apal.2011.01.009","issn":"0168-0072","keywords":"Proof theory, Suslin operator in applicative theories, Ordinal theories","url":"2011/jp11.pdf ","year":"2011","bibtex":"@Article{jp11,\n Author = {Gerhard J{\\\"a}ger and Dieter Probst},\n Title = {The Suslin operator in applicative theories: Its\n proof-theoretic analysis via ordinal theories},\n Journal = {Annals of Pure and Applied Logic},\n Volume = 162,\n Number = 8,\n Pages = {647--660},\n doi = {10.1016/j.apal.2011.01.009},\n issn = {0168-0072},\n keywords = {Proof theory, Suslin operator in applicative theories,\n Ordinal theories},\n url = {2011/jp11.pdf },\n year = 2011\n}\n\n","author_short":["Jäger, G.","Probst, D."],"key":"jp11","id":"jp11","bibbaseid":"jger-probst-thesuslinoperatorinapplicativetheoriesitsprooftheoreticanalysisviaordinaltheories-2011","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2011/jp11.pdf"},"keyword":["Proof theory","Suslin operator in applicative theories","Ordinal theories"],"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.105Z","downloads":0,"keywords":["proof theory","suslin operator in applicative theories","ordinal theories"],"search_terms":["suslin","operator","applicative","theories","proof","theoretic","analysis","via","ordinal","theories","jäger","probst"],"title":"The Suslin operator in applicative theories: Its proof-theoretic analysis via ordinal theories","year":2011,"dataSources":["jFQMeatnEb8qn3qdH"]}