Total sets and objects in domain theory (Q1210138): Difference between revisions

Introducing a topological notion of totality, Kreisel's density theorem and the theorem of Kreisel-Lacombe-Shoenfield are generalized in the theory of Scott-Ershov domains. Among the immediate consequences are the well-known continuity of computable functions on the reals (due to Ceitin and Moschovakis) as well as a domain-theoretic characterization of the hereditarily effective operations.