Normann, Dag - Comparing hierarchies of total functionals

lmcs:2268 - Logical Methods in Computer Science, October 5, 2005, Volume 1, Issue 2
Comparing hierarchies of total functionals

Authors: Normann, Dag

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.

Source :
DOI : 10.2168/LMCS-1(2:4)2005
Volume: Volume 1, Issue 2
Published on: October 5, 2005
Submitted on: May 4, 2005
Keywords: Computer Science - Logic in Computer Science,F.4.1


Consultation statistics

This page has been seen 57 times.
This article's PDF has been downloaded 12 times.