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]

@article{Ross06,
  title = {A nonstandard proof of a lemma from constructive measure theory},
  author = {David A. Ross},
  year = {2006},
  doi = {10.1002/malq.200610008},
  url = {http://dx.doi.org/10.1002/malq.200610008},
  researchr = {https://researchr.org/publication/Ross06},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {52},
  number = {5},
  pages = {494-497},
}