Total sets and objects in domain theory (Q1210138)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Total sets and objects in domain theory |
scientific article |
Statements
Total sets and objects in domain theory (English)
0 references
16 May 1993
0 references
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.
0 references
totality
0 references
Kreisel's density theorem
0 references
theorem of Kreisel-Lacombe- Shoenfield
0 references
Scott-Ershov domains
0 references
hereditarily effective operations
0 references
