{"_id":{"_str":"534243b90e946d920a00046c"},"__v":1,"authorIDs":[],"author_short":["Allender, E.","Davie, G.","Friedman, L.","Hopkins, S. B.","Tzameret, I."],"bibbaseid":"allender-davie-friedman-hopkins-tzameret-kolmogorovcomplexitycircuitsandthestrengthofformaltheoriesofarithmetic-2013","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Eric"],"propositions":[],"lastnames":["Allender"],"suffixes":[]},{"firstnames":["George"],"propositions":[],"lastnames":["Davie"],"suffixes":[]},{"firstnames":["Luke"],"propositions":[],"lastnames":["Friedman"],"suffixes":[]},{"firstnames":["Samuel","B."],"propositions":[],"lastnames":["Hopkins"],"suffixes":[]},{"firstnames":["Iddo"],"propositions":[],"lastnames":["Tzameret"],"suffixes":[]}],"title":"Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic","journal":"Chicago Journal of Theoretical Computer Science","volume":"2013","year":"2013","number":"5","month":"April","bibtex":"@article{adfht,\n author = {Eric Allender and George Davie and Luke Friedman and Samuel B. Hopkins and Iddo Tzameret},\n title = {Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic},\t\njournal={Chicago Journal of Theoretical Computer Science},\n volume={2013},\n year={2013},\n\t number={5},\n\t month={April},\n}\n\n","author_short":["Allender, E.","Davie, G.","Friedman, L.","Hopkins, S. B.","Tzameret, I."],"key":"adfht","id":"adfht","bibbaseid":"allender-davie-friedman-hopkins-tzameret-kolmogorovcomplexitycircuitsandthestrengthofformaltheoriesofarithmetic-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"people.csail.mit.edu/andyd/CCI_refs.bib","downloads":0,"keywords":[],"search_terms":["kolmogorov","complexity","circuits","strength","formal","theories","arithmetic","allender","davie","friedman","hopkins","tzameret"],"title":"Kolmogorov complexity, circuits, and the strength of formal theories of arithmetic","year":2013,"dataSources":["Te9pFfTBkQvusPFGk","6sSgqzaHAPRWvSxTP"]}