Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.