MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The notion of an $\infty$-Borel set of reals is useful in the study of AD. Under ZFC it becomes trivial: every set of reals is $\infty$-Borel. However, the notion of an $\infty$-Borel code is still interesting. For example, an $\infty$-Borel code $S$ gives us an absolute way to define a set of reals $(A_S)^{V[g]}$ in a generic extension $V[g]$, albeit without some of the nice properties of uB-codes. So I have two related questions:

(1) What are some applications of $\infty$-Borel codes in ZFC?

(2) What are some applications where an $\infty$-Borel code is used to define a set of reals in a generic extension?

I am discounting the special case of $\omega$-Borel codes, that is, ordinary codes for Borel sets.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.