Representation Theorems for Transfinite Computability And Definability

this paper we will pursue some of the ideas in Kreisel's approach and show that transfinite versions of the continuous functionals can be used to represent complex properties. We will be more precise late