User talk:Chimpionspeak/Borel code

To do

 * Figure out how to write x not in B_c.
 * Surjection, injection? Does countable choice suffice to extract a bijection from codes to borel sets?