Omniscience Principles and Functions of Bounded Variation
暂无分享,去创建一个
A very weak omniscience principle is formulated, related omniscience principlesare considered, and the theorem that a function of bounded variation is the difference of two increasing functions is shown to be equivalent to the omniscience principle WLPO. It is a so shown that an arbitrary function (not necessarily strongly extensional) with located variation on an interval is the difference of two increasing functions.
[1] D. Dalen,et al. Brouwer's Cambridge Lectures on Intuitionism , 1981 .
[2] Douglas S. Bridges,et al. A Constructive Look at Functions of Bounded Variation , 2000 .
[3] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[4] Fred Richman. Generalized real numbers in constructive mathematics , 1998 .
[5] Fred Richman,et al. Polynomials and linear transformations , 1990 .