Non-classical analysis: Difference between revisions

Revision as of 03:57, 7 July 2006

Revision as of 03:58, 7 July 2006

Line 5:

*[[Abstract Stone duality]], a recent theory of general topology founded on the [[topos]] of locally compact locales. It allows the development of a form of constructive real analysis by topological means.

*[[Chainlet geometry]], a recent development of geometric integration theory which incorporates [[infinitesimals]] and allows the resulting calculus to be applied to continuous domains without local Euclidean structure as well as discrete domains.

*[[Constructivist analysis]], which is built upon a foundation of [[constructivist logic|constructivist]], rather than classical, logic and set theory.