A rich hierarchy of functionals of finite types

Dag Normann

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 s…