@ARTICLE{AS06,
  author = {Avigad, Jeremy and Simic, Ksenija},
  title = {Fundamental notions of analysis in subsystems of second-order arithmetic},
  journal = APAL,
  year = {2006},
  volume = {139},
  pages = {138--184},
  file = {AS06.pdf:AS06.pdf:PDF;AS06.pdf:files\\AS06.pdf:PDF},
  keywords = {bib,cca}
}

{"_id":"MA2RBRiYnDmBjZwrf","bibbaseid":"avigad-simic-fundamentalnotionsofanalysisinsubsystemsofsecondorderarithmetic-2006","authorIDs":[],"author_short":["Avigad, J.","Simic, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Avigad"],"firstnames":["Jeremy"],"suffixes":[]},{"propositions":[],"lastnames":["Simic"],"firstnames":["Ksenija"],"suffixes":[]}],"title":"Fundamental notions of analysis in subsystems of second-order arithmetic","year":"2006","volume":"139","pages":"138–184","file":"AS06.pdf:AS06.pdf:PDF;AS06.pdf:files\\\\AS06.pdf:PDF","keywords":"bib,cca","bibtex":"@ARTICLE{AS06,\r\n author = {Avigad, Jeremy and Simic, Ksenija},\r\n title = {Fundamental notions of analysis in subsystems of second-order arithmetic},\r\n journal = APAL,\r\n year = {2006},\r\n volume = {139},\r\n pages = {138--184},\r\n file = {AS06.pdf:AS06.pdf:PDF;AS06.pdf:files\\\\AS06.pdf:PDF},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Avigad, J.","Simic, K."],"key":"AS06","id":"AS06","bibbaseid":"avigad-simic-fundamentalnotionsofanalysisinsubsystemsofsecondorderarithmetic-2006","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.299Z","downloads":0,"keywords":["bib","cca"],"search_terms":["fundamental","notions","analysis","subsystems","second","order","arithmetic","avigad","simic"],"title":"Fundamental notions of analysis in subsystems of second-order arithmetic","year":2006,"dataSources":["t7rKiAbxugj4Agz8M"]}