@Article{str02,
  Author         = {Thomas Strahm},
  Title          = {Wellordering proofs for metapredicative {M}ahlo},
  Journal        = {The Journal of Symbolic Logic},
  Volume         = {67},
  Number         = {1},
  Pages          = {260{--}278},
  url            = {2002/str02.pdf},
  year           = 2002
}

{"_id":"xXzgM8NiSPqMroFNd","bibbaseid":"strahm-wellorderingproofsformetapredicativemahlo-2002","authorIDs":[],"author_short":["Strahm, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Strahm"],"suffixes":[]}],"title":"Wellordering proofs for metapredicative Mahlo","journal":"The Journal of Symbolic Logic","volume":"67","number":"1","pages":"260–278","url":"2002/str02.pdf","year":"2002","bibtex":"@Article{str02,\n Author = {Thomas Strahm},\n Title = {Wellordering proofs for metapredicative {M}ahlo},\n Journal = {The Journal of Symbolic Logic},\n Volume = {67},\n Number = {1},\n Pages = {260{--}278},\n url = {2002/str02.pdf},\n year = 2002\n}\n\n","author_short":["Strahm, T."],"key":"str02","id":"str02","bibbaseid":"strahm-wellorderingproofsformetapredicativemahlo-2002","role":"author","urls":{"Paper":"http://home.inf.unibe.ch/~brambi/2002/str02.pdf"},"downloads":0},"bibtype":"article","biburl":"http://home.inf.unibe.ch/~brambi/ltg.bib","creationDate":"2020-02-26T09:06:59.020Z","downloads":0,"keywords":[],"search_terms":["wellordering","proofs","metapredicative","mahlo","strahm"],"title":"Wellordering proofs for metapredicative Mahlo","year":2002,"dataSources":["jFQMeatnEb8qn3qdH"]}