pith. sign in

arxiv: 1010.2396 · v1 · pith:64IKY37Ynew · submitted 2010-10-12 · 🧮 math.LO · cs.LO

N^N^N does not satisfy Normann's condition

classification 🧮 math.LO cs.LO
keywords conditionnormannhierarchysatisfyspaceaboveanalysisclopen
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.