To do

edit
  • 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?