@INPROCEEDINGS{Avi05,
  author = {Avigad, Jeremy},
  title = {Weak theories of nonstandard arithmetic and analysis},
  booktitle = {Reverse Mathematics 2001},
  year = {2005},
  editor = {Simpson, Stephen},
  series = LNL,
  pages = {19--46},
  address = {La Jolla},
  publisher = {Association for Symbolic Logic},
  keywords = {bib,cca}
}

{"_id":"h94CoTQ8xvXqRkawz","bibbaseid":"avigad-weaktheoriesofnonstandardarithmeticandanalysis-2005","authorIDs":[],"author_short":["Avigad, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Avigad"],"firstnames":["Jeremy"],"suffixes":[]}],"title":"Weak theories of nonstandard arithmetic and analysis","booktitle":"Reverse Mathematics 2001","year":"2005","editor":[{"propositions":[],"lastnames":["Simpson"],"firstnames":["Stephen"],"suffixes":[]}],"pages":"19–46","address":"La Jolla","publisher":"Association for Symbolic Logic","keywords":"bib,cca","bibtex":"@INPROCEEDINGS{Avi05,\r\n author = {Avigad, Jeremy},\r\n title = {Weak theories of nonstandard arithmetic and analysis},\r\n booktitle = {Reverse Mathematics 2001},\r\n year = {2005},\r\n editor = {Simpson, Stephen},\r\n series = LNL,\r\n pages = {19--46},\r\n address = {La Jolla},\r\n publisher = {Association for Symbolic Logic},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Avigad, J."],"editor_short":["Simpson, S."],"key":"Avi05","id":"Avi05","bibbaseid":"avigad-weaktheoriesofnonstandardarithmeticandanalysis-2005","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"inproceedings","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.300Z","downloads":0,"keywords":["bib","cca"],"search_terms":["weak","theories","nonstandard","arithmetic","analysis","avigad"],"title":"Weak theories of nonstandard arithmetic and analysis","year":2005,"dataSources":["t7rKiAbxugj4Agz8M"]}