@ARTICLE{HM12,
  author = {Hirst, Jeffry L. and Miller, Jessica},
  title = {More reverse mathematics of the {H}eine-{B}orel {T}heorem},
  journal = {J. Log. Anal.},
  year = {2012},
  volume = {4},
  pages = {Paper 6, 10},
  doi = {10.4115/jla.2012.4.6},
  file = {HM12.pdf:files\\HM12.pdf:PDF;HM12.pdf:HM12.pdf:PDF},
  fjournal = {Journal of Logic and Analysis},
  issn = {1759-9008},
  mrclass = {03B30 (03F35 03F60 26E40)},
  mrnumber = {2889826},
  mrreviewer = {Carl Mummert},
  url = {http://dx.doi.org/10.4115/jla.2012.4.6}
}

{"_id":"qeCJReBJK6r4t97BP","bibbaseid":"hirst-miller-morereversemathematicsoftheheineboreltheorem-2012","authorIDs":[],"author_short":["Hirst, J. L.","Miller, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Hirst"],"firstnames":["Jeffry","L."],"suffixes":[]},{"propositions":[],"lastnames":["Miller"],"firstnames":["Jessica"],"suffixes":[]}],"title":"More reverse mathematics of the Heine-Borel Theorem","journal":"J. Log. Anal.","year":"2012","volume":"4","pages":"Paper 6, 10","doi":"10.4115/jla.2012.4.6","file":"HM12.pdf:files\\M̋12.pdf:PDF;HM12.pdf:HM12.pdf:PDF","fjournal":"Journal of Logic and Analysis","issn":"1759-9008","mrclass":"03B30 (03F35 03F60 26E40)","mrnumber":"2889826","mrreviewer":"Carl Mummert","url":"http://dx.doi.org/10.4115/jla.2012.4.6","bibtex":"@ARTICLE{HM12,\r\n author = {Hirst, Jeffry L. and Miller, Jessica},\r\n title = {More reverse mathematics of the {H}eine-{B}orel {T}heorem},\r\n journal = {J. Log. Anal.},\r\n year = {2012},\r\n volume = {4},\r\n pages = {Paper 6, 10},\r\n doi = {10.4115/jla.2012.4.6},\r\n file = {HM12.pdf:files\\\\HM12.pdf:PDF;HM12.pdf:HM12.pdf:PDF},\r\n fjournal = {Journal of Logic and Analysis},\r\n issn = {1759-9008},\r\n mrclass = {03B30 (03F35 03F60 26E40)},\r\n mrnumber = {2889826},\r\n mrreviewer = {Carl Mummert},\r\n url = {http://dx.doi.org/10.4115/jla.2012.4.6}\r\n}\r\n\r\n","author_short":["Hirst, J. L.","Miller, J."],"key":"HM12","id":"HM12","bibbaseid":"hirst-miller-morereversemathematicsoftheheineboreltheorem-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.4115/jla.2012.4.6"},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.315Z","downloads":0,"keywords":[],"search_terms":["more","reverse","mathematics","heine","borel","theorem","hirst","miller"],"title":"More reverse mathematics of the Heine-Borel Theorem","year":2012,"dataSources":["t7rKiAbxugj4Agz8M"]}