{"shas":[["96ab6f2168e89f35cd96ae861e0ab5215fac7229","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","some small fixes","Jeffrey Finkelstein"],["1ef01b1371ac508e0e92879eefdef7e64c1769f9","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","replaced l with \\ell, cleared up some language in a lemme","Jeffrey Finkelstein"],["335ea77cc481e4c9e559acb9dd77baf75db3bfd0","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","finalized draft","Jeffrey Finkelstein"],["6e066c43ad50dcfe7668f0ff1fb36c67cad472e1","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","started on paper version","Jeffrey Finkelstein"],["f44c609be68371813988fee2498fd7d6f01b3a4d","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","added uniform diagonalization theorem","Jeffrey Finkelstein"],["e3d54351a9ac6b1fcbefb35f624121bb8c7e72d9","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","simplified proofs","Jeffrey Finkelstein"],["a60295e38b75a6075af63c08bdb14612c61d9543","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","minor typo fixes","Jeffrey Finkelstein"],["b743fbf744db3227898859fb2cf89e664d105c3f","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","added some definitions","Jeffrey Finkelstein"],["2cbfa1085ca0dabd6a95c6f5b427eb4be7b71499","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","removed 'exit 0' from script","Jeffrey Finkelstein"],["6eec345af7d79f8cd2476d7481b18b710d4e454c","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","lots of small fixes and some rephrasing","Jeffrey Finkelstein"],["73f51ead41231a9a7d12da871b8389bedb508894","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","updated copyright information","Jeffrey Finkelstein"],["29431f90e3e98fa7c8d6d099f724e2e245db898f","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","removed unneeded latex file for this branch","Jeffrey Finkelstein"],["025f89e79ffbb043024f203b26349a8b97b9b005","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","added clean script","Jeffrey Finkelstein"],["4517a2a98ef3690a0c7c555375484a919bede41f","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","commented unused classes","Jeffrey Finkelstein"],["3836d5ca694dc66f01961241aa7c65a2764d590c","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","put each sentence on its own line","Jeffrey Finkelstein"],["3279ef61bf0757d26cad1f6b0f58ba4d56c3e0f9","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","changed 'greater than or equal to' to 'at least'","Jeffrey Finkelstein"],["d2f0b30053277a396fd7dac6828c845c318209bd","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","update theorems for computably enumerable sets of representatives","Jeffrey Finkelstein"],["437492cb85809474cce1a7ff7eccbc634c446258","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","added preliminaries section","Jeffrey Finkelstein"],["1a8bb1fe1d731235ba80edbea456ff6c29dcb7b0","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","merged from origin/paperversion","Jeffrey Finkelstein"],["3d98208187f7fb98c929beb838eb4217e3f6334f","2345c0ac229046fbfe1ffcbadc78432215525266@gmail.com","title should be capitalized","Jeffrey Finkelstein"]],"ref":"refs/heads/master","size":22,"head":"41011c0f69ff89838a4efd28822636bfb018bfd3","push_id":36446381}