Comparing hierarchies of total functionals

Details Comparing hierarchies of total functionals Comparing hierarchies of total functionals

2005-09-07

arxiv.org/abs/cs/0509019v3

LMCS 1 (2:4) 2005

Computer Science

Logic in Computer Science

28 pages

Scientific paper

10.2168/LMCS-1(2:4)2005

In this paper we consider two hierarchies of hereditarily total and continuous functionals over the reals based on one extensional and one intensional representation of real numbers, and we discuss under which asumptions these hierarchies coincide. This coincidense problem is equivalent to a statement about the topology of the Kleene-Kreisel continuous functionals. As a tool of independent interest, we show that the Kleene-Kreisel functionals may be embedded into both these hierarchies.

Affiliated with

Also associated with

No associations

Rating

Comparing hierarchies of total functionals 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 Comparing hierarchies of total functionals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Comparing hierarchies of total functionals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-215717