It seems to me that there are scattered references of deep relationships between descriptive set theory and computability theory. For one, the relationship between the Borel hierarchy and the Polynomial hierarchy for one, and the relationship between topology and computability.

I would like to understand things such as:

• What is forcing, and how does one use it to prove independence of CH?
• What precisely is a inner model?
• Why are polish spaces an important setting for descriptive set theory?

It would be fantastic if these could be answered from the perspective of computability. For example, I know that the Cantor set has good computability properties, and I (possibly very incorrect) believe that this is related to descriptive set theory.

I'd greatly appreciate references to lecture notes, talks, video lectures, textbooks. Pretty much anything where I can descriptive set theory with a computational bent would be great.

It seems to me that there are scattered references of deep relationships between descriptive set theory and computability theory. For one, the relationship between the Borel hierarchy and the Polynomial hierarchy for one, and the relationship between topology and computability.

I would like to understand things such as:

• What is forcing, and how does one use it to prove the independence of the Continuum Hypothesis?
• What precisely is an inner model?
• Why are Polish spaces an important setting for descriptive set theory?

It would be fantastic if these could be answered from the perspective of computability. For example, I know that the Cantor set has good computability properties, and I (possibly very incorrect) believe that this is related to descriptive set theory.

I'd greatly appreciate references to lecture notes, talks, video lectures, textbooks. Pretty much anything where I can study descriptive set theory with a computational bent would be great.