Distributor:DepartmentofMathematics,Box480,S-75106Uppsala,Sweden PrintedinSwedenbyReprocentralenHSC,Uppsala1997 ToJessicaAcknowledgements

Blanck, J., 1997: Computability on topological spaces by eeective domain representations. Our aim in this thesis is to study a uniform method to introduce computability on large, usually uncountable, mathematical structures. The method we choose is domain representations using Scott{Ershov domains. Domain theory is a theory of approximations and… CONTINUE READING