## Partial Continuous Functions and Admissible Domain Representations (2007)

Venue: | the Journal of Logic and Computation |

Citations: | 7 - 2 self |

### BibTeX

@INPROCEEDINGS{Dahlgren07partialcontinuous,

author = {Fredrik Dahlgren},

title = {Partial Continuous Functions and Admissible Domain Representations},

booktitle = {the Journal of Logic and Computation},

year = {2007},

pages = {104}

}

### OpenURL

### Abstract

It is well known that to be able to represent continuous functions between domain representable spaces it is critical that the domain representations of the spaces we consider are dense. In this article we show how to develop a representation theory over a category of domains with morphisms partial continuous functions. The raison d’être for introducing partial continuous functions is that by passing to partial maps, we are free to consider totalities which are not dense. We show that the category of admissibly representable spaces with morphisms functions which are representable by a partial continuous function is Cartesian closed. Finally, we consider the question of effectivity. Key words. Domain theory, domain representations, computability theory, computable analysis. 1

### Citations

62 |
Axiomatic Domain Theory in Categories of Partial Maps
- Fiore
- 1994
(Show Context)
Citation Context ...e to view (D D , f) as a partial function from D to E. Categories of domains with morphisms partial continuous functions have been studied before by (among others) Plotkin and Fiore (c.f. [Plo85] and =-=[Fio94]-=-). Here a partial continuous function from D to E is a pair (U, f) where U ⊆ D is a Scott-open subset of D and f : U → E is a continuous function from U to E. However, this notion of a partial continu... |

41 | The Realizability Approach to Computable Analysis and Topology
- Bauer
- 2000
(Show Context)
Citation Context ...in general, and an effective theory of distributions in particular. The category obtained is closely related to the category Mod(V) of modest sets over the partial combinatory algebra V introduced in =-=[Bau00]-=-. 2 Preliminaries from domain theory A Scott-Ershov domain (or simply domain) is a consistently complete algebraic cpo. Let D be a domain. Then Dc denotes the set of compact elements in D. Given x ∈ D... |

25 | Domain representations of topological spaces
- Blanck
- 2000
(Show Context)
Citation Context ...Stoltenberg-Hansen, as well as the anonymous referee, for their many suggestions for improvements of this article. 1sbeen studied by (among others) Stoltenberg-Hansen, Blanck and Hamrin (c.f. [SH01], =-=[Bla00]-=- and [Ham05]). It turns out that it is often important that the representation (D, D R , δ) is dense. That is, that the set D R of δ-names is dense in D with respect to the Scott-topology on D. Howeve... |

22 | Topological and limit-space subcategories of countably-based equilogical spaces - Menni, Simpson - 2002 |

16 |
Domain Theory. Handbook of Logic
- Abramsky, Jung
- 1994
(Show Context)
Citation Context ...= (cl(D), ⊑, {⊥}) is a domain and S ∈ cl(D) is compact if and only if S = (↓ a0) ∪ (↓ a1) ∪ . . . ∪ (↓ an) for some n ∈ N and compact a0, a1, . . . an in D. 7sIn fact, this result is well-known (c.f. =-=[AJ94]-=-). We include a proof for the sake of completeness. Proof. To show that cl(D) is a cpo, let B ⊆ cl(D) be directed. Then � B = � B. (Note that we do not need the hypothesis that B is directed, it is en... |

11 | Domain representations of partial functions, with applications to spatial objects and constructive volume geometry - Blanck, Stoltenberg-Hansen, et al. |

11 | Theorie der Numerierungen I, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 19 - ERSHOV - 1973 |

11 | Theorie der Numerierungen II, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 21 - ERSHOV - 1975 |

6 | Admissible Domain Representations of Topological Spaces
- HAMRIN
- 2005
(Show Context)
Citation Context ...Hansen, as well as the anonymous referee, for their many suggestions for improvements of this article. 1sbeen studied by (among others) Stoltenberg-Hansen, Blanck and Hamrin (c.f. [SH01], [Bla00] and =-=[Ham05]-=-). It turns out that it is often important that the representation (D, D R , δ) is dense. That is, that the set D R of δ-names is dense in D with respect to the Scott-topology on D. However, if (D, D ... |