Mathematics – Logic
Scientific paper
2010-10-12
Mathematics
Logic
10 pages
Scientific paper
We prove that the Kleene-Kreisel space $N^N^N$ does not satisfy Normann's condition. A topological space $X$ is said to fulfil Normann's condition, if every functionally closed subset of $X$ is an intersection of clopen sets. The investigation of this property is motivated by its strong relationship to a problem in Computable Analysis. D. Normann has proved that in order to establish non-coincidence of the extensional hierarchy and the intensional hierarchy of functionals over the reals it is enough to show that $N^N^N$ fails the above condition.
No associations
LandOfFree
N^N^N does not satisfy Normann's condition does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with N^N^N does not satisfy Normann's condition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and N^N^N does not satisfy Normann's condition will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-608521