@TECHREPORT{Her97a,
  author = {Hertling, Peter},
  title = {The Real Number Structure is Effectively Categorical},
  institution = {University of Auckland},
  year = {1997},
  type = {CDMTCS Research Report Series},
  number = {057},
  address = {Auckland},
  month = sep,
  keywords = {bib,cca,thi1}
}

{"_id":"7bGwd4orsbyufJJSc","bibbaseid":"hertling-therealnumberstructureiseffectivelycategorical-1997","authorIDs":[],"author_short":["Hertling, P."],"bibdata":{"bibtype":"techreport","type":"CDMTCS Research Report Series","author":[{"propositions":[],"lastnames":["Hertling"],"firstnames":["Peter"],"suffixes":[]}],"title":"The Real Number Structure is Effectively Categorical","institution":"University of Auckland","year":"1997","number":"057","address":"Auckland","month":"September","keywords":"bib,cca,thi1","bibtex":"@TECHREPORT{Her97a,\r\n author = {Hertling, Peter},\r\n title = {The Real Number Structure is Effectively Categorical},\r\n institution = {University of Auckland},\r\n year = {1997},\r\n type = {CDMTCS Research Report Series},\r\n number = {057},\r\n address = {Auckland},\r\n month = sep,\r\n keywords = {bib,cca,thi1}\r\n}\r\n\r\n","author_short":["Hertling, P."],"key":"Her97a","id":"Her97a","bibbaseid":"hertling-therealnumberstructureiseffectivelycategorical-1997","role":"author","urls":{},"keyword":["bib","cca","thi1"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.295Z","downloads":0,"keywords":["bib","cca","thi1"],"search_terms":["real","number","structure","effectively","categorical","hertling"],"title":"The Real Number Structure is Effectively Categorical","year":1997,"dataSources":["t7rKiAbxugj4Agz8M"]}