@ARTICLE{BIKN19,
  author = {Berger, Josef and Ishihara, Hajime and Kihara, Takayuki and Nemoto,
	Takako},
  title = {The binary expansion and the intermediate value theorem in constructive
	reverse mathematics},
  journal = {Archive for Mathematical Logic},
  year = {2019},
  volume = {58},
  pages = {203--217},
  number = {1-2},
  __markedentry = {[Vasco:6]},
  doi = {10.1007/s00153-018-0627-2},
  issn = {0933-5846},
  keywords = {bib,con},
  mrclass = {03F65 (03B30)},
  mrnumber = {3902812},
  owner = {Vasco},
  timestamp = {2019.02.07},
  url = {https://doi.org/10.1007/s00153-018-0627-2}
}

{"_id":"CxvqEWRGYQkJj8fQH","bibbaseid":"berger-ishihara-kihara-nemoto-thebinaryexpansionandtheintermediatevaluetheoreminconstructivereversemathematics-2019","authorIDs":[],"author_short":["Berger, J.","Ishihara, H.","Kihara, T.","Nemoto, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Berger"],"firstnames":["Josef"],"suffixes":[]},{"propositions":[],"lastnames":["Ishihara"],"firstnames":["Hajime"],"suffixes":[]},{"propositions":[],"lastnames":["Kihara"],"firstnames":["Takayuki"],"suffixes":[]},{"propositions":[],"lastnames":["Nemoto"],"firstnames":["Takako"],"suffixes":[]}],"title":"The binary expansion and the intermediate value theorem in constructive reverse mathematics","journal":"Archive for Mathematical Logic","year":"2019","volume":"58","pages":"203–217","number":"1-2","__markedentry":"[Vasco:6]","doi":"10.1007/s00153-018-0627-2","issn":"0933-5846","keywords":"bib,con","mrclass":"03F65 (03B30)","mrnumber":"3902812","owner":"Vasco","timestamp":"2019.02.07","url":"https://doi.org/10.1007/s00153-018-0627-2","bibtex":"@ARTICLE{BIKN19,\r\n author = {Berger, Josef and Ishihara, Hajime and Kihara, Takayuki and Nemoto,\r\n\tTakako},\r\n title = {The binary expansion and the intermediate value theorem in constructive\r\n\treverse mathematics},\r\n journal = {Archive for Mathematical Logic},\r\n year = {2019},\r\n volume = {58},\r\n pages = {203--217},\r\n number = {1-2},\r\n __markedentry = {[Vasco:6]},\r\n doi = {10.1007/s00153-018-0627-2},\r\n issn = {0933-5846},\r\n keywords = {bib,con},\r\n mrclass = {03F65 (03B30)},\r\n mrnumber = {3902812},\r\n owner = {Vasco},\r\n timestamp = {2019.02.07},\r\n url = {https://doi.org/10.1007/s00153-018-0627-2}\r\n}\r\n\r\n","author_short":["Berger, J.","Ishihara, H.","Kihara, T.","Nemoto, T."],"key":"BIKN19","id":"BIKN19","bibbaseid":"berger-ishihara-kihara-nemoto-thebinaryexpansionandtheintermediatevaluetheoreminconstructivereversemathematics-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/s00153-018-0627-2"},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:34.711Z","downloads":0,"keywords":["bib","con"],"search_terms":["binary","expansion","intermediate","value","theorem","constructive","reverse","mathematics","berger","ishihara","kihara","nemoto"],"title":"The binary expansion and the intermediate value theorem in constructive reverse mathematics","year":2019,"dataSources":["t7rKiAbxugj4Agz8M"]}