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.