Normann, Dag - A rich hierarchy of functionals of finite types

lmcs:954 - Logical Methods in Computer Science, September 24, 2009, Volume 5, Issue 3
A rich hierarchy of functionals of finite types

Authors: Normann, Dag

We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the Urysohn space is that every other separable metric space can be isometrically embedded into it. We discuss why the Urysohn space may be considered as the universal model of possibly infinitary outputs of algorithms. The main result is that all our typed hierarchies may be topologically embedded, type by type, into the corresponding hierarchy over the Urysohn space. As a preparation for this, we prove an effective density theorem that is also of independent interest.

Source :
DOI : 10.2168/LMCS-5(3:11)2009
Volume: Volume 5, Issue 3
Published on: September 24, 2009
Submitted on: February 9, 2009
Keywords: Computer Science - Logic in Computer Science,F.1.1,F.4.1,F.3.2


Consultation statistics

This page has been seen 72 times.
This article's PDF has been downloaded 40 times.