The Continuous Functionals of Finite Types Over the Reals (1998)
by
Dag Normann
| Citations: | 15 - 4 self |
BibTeX
@MISC{Normann98thecontinuous,
author = {Dag Normann},
title = {The Continuous Functionals of Finite Types Over the Reals},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate a hierarchy of domains with totality where we close some selected base domains, including domains for the reals, the natural numbers and the boolean values, under cartesian products and restricted function spaces. We show that the total objects will be dense in the respective domains, and that our construction is equivalent to the analogue construction in the category of limit spaces.
Citations
| 21 | Filter spaces and continuous functionals - Hyland - 1977 |
| 15 | Recursion on the Countable Functionals - Normann |
| 12 | Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 - Berger - 1993 |
| 3 | Topologie Vol 1, Warsawa - Kuratowski - 1952 |
| 2 | Countable functionals, in A. Heyting (ed.): Constructivity - Kleene - 1959 |
| 1 | Totale Objecte und Mengert in der Bereichtheorie - Berger - 1990 |
| 1 | The Largest Common Subcategory of Equilogical and Limit Spaces, manuscript - Menni, Simpson - 1998 |
