The domain theoretic derivative in formal topology
(English)Article in journal (Refereed) Submitted
We investigate the possibility to develop constructively some of the theory of domain theoretical differential calculus by using formal topology. A formal point-free domain derivative of continuous functions on partial reals is defined and we prove that it is point-wise equal to the classical domain derivative.
Formal topologies, Domains, Interval analysis, Differential calculus
Research subject Mathematical Logic
IdentifiersURN: urn:nbn:se:uu:diva-152065OAI: oai:DiVA.org:uu-152065DiVA: diva2:412412