Dag Normann - Comparing hierarchies of total functionals

lmcs:2268 - Logical Methods in Computer Science, October 5, 2005, Volume 1, Issue 2 - https://doi.org/10.2168/LMCS-1(2:4)2005
Comparing hierarchies of total functionalsArticle

Authors: Dag Normann

    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.


    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

    5 Documents citing this article

    Consultation statistics

    This page has been seen 1381 times.
    This article's PDF has been downloaded 274 times.