Skip to content

2. countable sets are Borel

problem

Show that every countable set is Borel.

Follow the same construction as in problem 1. Note that the conjunctions used to define ฯ‡xฯ‡_x and xโˆˆAxโˆˆA are both countable, so the circuit overall is countable.