@ARTICLE{Sim06,
  author = {Simonsen, Jakob G.},
  title = {On local non-compactness in recursive mathematics},
  journal = MLQ,
  year = {2006},
  volume = {52},
  pages = {323--330},
  number = {4},
  file = {Sim06.pdf:Sim06.pdf:PDF;Sim06.pdf:files\\Sim06.pdf:PDF},
  keywords = {bib,cca},
  url = {http://dx.doi.org/10.1002/malq.200510036}
}

{"_id":"nDPHTmHC3LxPMLHB9","bibbaseid":"simonsen-onlocalnoncompactnessinrecursivemathematics-2006","authorIDs":[],"author_short":["Simonsen, J. G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Simonsen"],"firstnames":["Jakob","G."],"suffixes":[]}],"title":"On local non-compactness in recursive mathematics","year":"2006","volume":"52","pages":"323–330","number":"4","file":"Sim06.pdf:Sim06.pdf:PDF;Sim06.pdf:files\\\\Sim06.pdf:PDF","keywords":"bib,cca","url":"http://dx.doi.org/10.1002/malq.200510036","bibtex":"@ARTICLE{Sim06,\r\n author = {Simonsen, Jakob G.},\r\n title = {On local non-compactness in recursive mathematics},\r\n journal = MLQ,\r\n year = {2006},\r\n volume = {52},\r\n pages = {323--330},\r\n number = {4},\r\n file = {Sim06.pdf:Sim06.pdf:PDF;Sim06.pdf:files\\\\Sim06.pdf:PDF},\r\n keywords = {bib,cca},\r\n url = {http://dx.doi.org/10.1002/malq.200510036}\r\n}\r\n\r\n","author_short":["Simonsen, J. G."],"key":"Sim06","id":"Sim06","bibbaseid":"simonsen-onlocalnoncompactnessinrecursivemathematics-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1002/malq.200510036"},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.051Z","downloads":0,"keywords":["bib","cca"],"search_terms":["local","non","compactness","recursive","mathematics","simonsen"],"title":"On local non-compactness in recursive mathematics","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}