Speaker:
Geoff Galgon and Garrett Ervin
Institution:
UCI
Time:
Monday, October 17, 2011 - 4:00pm
Location:
RH 440R
We will introduce the "lightface" projective hierarchy and examine it both from syntactical and semantical aspect. "Lightface" \Sigma^0_1" sets are effective versions of open sets. We also prove that lightface \Sigma^0_1 sets of reals can be represented as sets of branches of recursive trees, and lithtface \Sigma^1_1 sets can be represented as projections of recursive trees.