@ARTICLE{BS93a,
  author = {Brown, Douglas K. and Simpson, Stephen G.},
  title = {The {B}aire category theorem in weak subsystems of second order arithmetic},
  journal = JSL,
  year = {1993},
  volume = {58},
  pages = {557--578},
  file = {BS93a.pdf:BS93a.pdf:PDF}
}

{"_id":"hGyBvrS4uXkgdPYi8","bibbaseid":"brown-simpson-thebairecategorytheoreminweaksubsystemsofsecondorderarithmetic-1993","authorIDs":[],"author_short":["Brown, D. K.","Simpson, S. G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Brown"],"firstnames":["Douglas","K."],"suffixes":[]},{"propositions":[],"lastnames":["Simpson"],"firstnames":["Stephen","G."],"suffixes":[]}],"title":"The Baire category theorem in weak subsystems of second order arithmetic","journal":"The Journal of Symbolic Logic","year":"1993","volume":"58","pages":"557–578","file":"BS93a.pdf:BS93a.pdf:PDF","bibtex":"@ARTICLE{BS93a,\r\n author = {Brown, Douglas K. and Simpson, Stephen G.},\r\n title = {The {B}aire category theorem in weak subsystems of second order arithmetic},\r\n journal = JSL,\r\n year = {1993},\r\n volume = {58},\r\n pages = {557--578},\r\n file = {BS93a.pdf:BS93a.pdf:PDF}\r\n}\r\n\r\n","author_short":["Brown, D. K.","Simpson, S. G."],"key":"BS93a","id":"BS93a","bibbaseid":"brown-simpson-thebairecategorytheoreminweaksubsystemsofsecondorderarithmetic-1993","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.933Z","downloads":0,"keywords":[],"search_terms":["baire","category","theorem","weak","subsystems","second","order","arithmetic","brown","simpson"],"title":"The Baire category theorem in weak subsystems of second order arithmetic","year":1993,"dataSources":["t7rKiAbxugj4Agz8M"]}