Skip to main content
Correct the title
Link

Uniformization in DesriptiveDescriptive Set Theory

Source Link
tzy
  • 121
  • 2

Uniformization in Desriptive Set Theory

I'm a beginner in descriptive set theory.

There is a series of connected exercises (1C.6, 1C.7, 1C.8) in Moschovakis' classic text (new edition) on uniformization. They are simple case uniformization, reduction (by uniformization), and separation of sets (via reduction).

It seems like with such layout, the point of uniformization is to give us a way to separate sets.

My question is, why are we interested in uniformization and reduction? What I can see is that uniformization can always be carried out with AC, pretty obvious. So, has it anything to do with Choice?

What about reduction?