22 citations · 70 across the 24 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2009
On a comparison of Darboux and Riemann integrals in constructive analysis
A. A. Vladimirov
An example of constructive (in A.A.Markov's sense) real-valued function, which is integrable by Riemann, but is not integrable by Darboux, is constructed.
math.LO2007
On a continuity theorem for constructive functions
A. A. Vladimirov
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is loc…