Complexity of reals in inner models of s
โ
Boban Velickovic; W.Hugh Woodin
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 931 KB
We consider the possible complexity of the set of reals belonging to an inner model M of set theory. We show that if this set is analytic then either l-2, M is countable or else all reals are in M. We also show that if an inner model contains a superperfect set of reals as a subset then it contains