## Admissible Domain Representations of Inductive Limit Spaces (2007)

Citations: | 2 - 2 self |

### BibTeX

@TECHREPORT{Dahlgren07admissibledomain,

author = {Fredrik Dahlgren},

title = {Admissible Domain Representations of Inductive Limit Spaces},

institution = {},

year = {2007}

}

### OpenURL

### Abstract

### Citations

41 | The Realizability Approach to Computable Analysis and Topology - Bauer - 2000 |

34 | Complete local rings as domains - Stoltenberg-Hansen, Tucker - 1988 |

25 | Topological and limit-space subcategories of countablybased equilogical spaces - Menni, Simpson |

17 | A Relationship between Equilogical Spaces and Type Two Effectivity”; Mathematical Logic Quarterly 48,1
- Bauer
- 2002
(Show Context)
Citation Context ...inuous function from X to Y is representable in this way as a continuous function from D to E. The question of which spaces admit admissible domain representations was answered independently by Bauer =-=[3]-=- and Hamrin [10]. These results are entirely analogous to the corresponding result for admissible type two representations given in [12]. A topological space Y admits a countably based admissible doma... |

16 |
Domain Theory. Handbook of Logic
- Abramsky, Jung
- 1994
(Show Context)
Citation Context ...should rather be thought of as a review of some basic definitions and notational conventions. For a thorough treatment of domain theory we recommend the book [15] or the comprehensive survey given in =-=[1]-=-. 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 we write approx(x) for the set {a ... |

16 |
Admissible Representations for Continuous Computations
- Schröder
- 2002
(Show Context)
Citation Context ...sible domain representations was answered independently by Bauer [3] and Hamrin [10]. These results are entirely analogous to the corresponding result for admissible type two representations given in =-=[12]-=-. A topological space Y admits a countably based admissible domain representation if and only if Y is T0 and has a countable pseudobasis, where the notion of a pseudobasis is a generalisation of the n... |

15 |
Extended admissibility. Theoretical Computer Science 284
- Schröder
- 2002
(Show Context)
Citation Context ...esentation as a continuous function from D to E. In the context of algebraic domains, this problem has been studied by (among others) Stoltenberg-Hansen, Blanck, and Hamrin in [17], [5], and [10]. In =-=[13]-=-, Schröder introduced the notion of admissibility in the context of Type Two Effectivity. The corresponding notion in the context of domain representations has been studied by Bauer, Simpson, Menni, a... |

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 ...as a representation as a continuous function from D to E. In the context of algebraic domains, this problem has been studied by (among others) Stoltenberg-Hansen, Blanck, and Hamrin in [17], [5], and =-=[10]-=-. In [13], Schröder introduced the notion of admissibility in the context of Type Two Effectivity. The corresponding notion in the context of domain representations has been studied by Bauer, Simpson,... |

4 |
Domain Representations of Topological Spaces, Theoretical Computer Science 247
- BLANCK
- 2000
(Show Context)
Citation Context ... X to Y has a representation as a continuous function from D to E. In the context of algebraic domains, this problem has been studied by (among others) Stoltenberg-Hansen, Blanck, and Hamrin in [17], =-=[5]-=-, and [10]. In [13], Schröder introduced the notion of admissibility in the context of Type Two Effectivity. The corresponding notion in the context of domain representations has been studied by Bauer... |

4 | Effective Algebra, Handbook of Logic - STOLTENBERG-HANSEN, TUCKER - 1995 |

4 |
Notes on Domain Theory, Lecture notes from the summer school on
- STOLTENBERG-HANSEN
- 2001
(Show Context)
Citation Context ...n from X to Y has a representation as a continuous function from D to E. In the context of algebraic domains, this problem has been studied by (among others) Stoltenberg-Hansen, Blanck, and Hamrin in =-=[17]-=-, [5], and [10]. In [13], Schröder introduced the notion of admissibility in the context of Type Two Effectivity. The corresponding notion in the context of domain representations has been studied by ... |

3 | A Domain Theoretic Approach to Effective Distribution Theory, U.U.D.M. report 2007:37 - DAHLGREN - 2007 |