@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
}

{"_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"]}