Omniscience Principles and Functions of Bounded Variation
Fred Richman · Mathematical logic quarterly · 2002
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.