@InProceedings{jae05,
  Author         = {Gerhard J{\"a}ger},
  Title          = {Metapredicative and explicit {M}ahlo: a
                   proof-theoretic perspective},
  BookTitle      = {Proceedings of Logic Colloquium '00},
  Editor         = {Rene Cori and Alexander Razborov and Stevo Todorcevic
                   and Carol Wood},
  Volume         = {19},
  Series         = {Association of Symbolic Logic Lecture Notes in Logic},
  Pages          = {272{--}293},
  Publisher      = {AK Peters},
  url            = {2005/jae05.pdf},
  year           = 2005
}

{"_id":"MYpZw9qmFBCyRCBBN","bibbaseid":"jger-metapredicativeandexplicitmahloaprooftheoreticperspective-2005","authorIDs":[],"author_short":["Jäger, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Jäger"],"suffixes":[]}],"title":"Metapredicative and explicit Mahlo: a proof-theoretic perspective","booktitle":"Proceedings of Logic Colloquium '00","editor":[{"firstnames":["Rene"],"propositions":[],"lastnames":["Cori"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Razborov"],"suffixes":[]},{"firstnames":["Stevo"],"propositions":[],"lastnames":["Todorcevic"],"suffixes":[]},{"firstnames":["Carol"],"propositions":[],"lastnames":["Wood"],"suffixes":[]}],"volume":"19","series":"Association of Symbolic Logic Lecture Notes in Logic","pages":"272–293","publisher":"AK Peters","url":"2005/jae05.pdf","year":"2005","bibtex":"@InProceedings{jae05,\n Author = {Gerhard J{\\\"a}ger},\n Title = {Metapredicative and explicit {M}ahlo: a\n proof-theoretic perspective},\n BookTitle = {Proceedings of Logic Colloquium '00},\n Editor = {Rene Cori and Alexander Razborov and Stevo Todorcevic\n and Carol Wood},\n Volume = {19},\n Series = {Association of Symbolic Logic Lecture Notes in Logic},\n Pages = {272{--}293},\n Publisher = {AK Peters},\n url = {2005/jae05.pdf},\n year = 2005\n}\n\n","author_short":["Jäger, G."],"editor_short":["Cori, R.","Razborov, A.","Todorcevic, S.","Wood, C."],"key":"jae05","id":"jae05","bibbaseid":"jger-metapredicativeandexplicitmahloaprooftheoreticperspective-2005","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2005/jae05.pdf"},"downloads":0},"bibtype":"inproceedings","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.123Z","downloads":0,"keywords":[],"search_terms":["metapredicative","explicit","mahlo","proof","theoretic","perspective","jäger"],"title":"Metapredicative and explicit Mahlo: a proof-theoretic perspective","year":2005,"dataSources":["jFQMeatnEb8qn3qdH"]}