The Continuous Functionals of Finite Types Over the Reals
user correction - Legacy Corrections
SVM HeaderParse 0.1
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.