Total sets and objects in domain theory (Q1210138)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Total sets and objects in domain theory |
scientific article; zbMATH DE number 169664
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Total sets and objects in domain theory |
scientific article; zbMATH DE number 169664 |
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
