A nonstandard proof of a lemma from constructive measure theory

David A. Ross. A nonstandard proof of a lemma from constructive measure theory. Math. Log. Q., 52(5):494-497, 2006. [doi]

Abstract

Abstract is missing.