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
add comment

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.