On separable nets in constructive topological spaces
Logic
2010-10-19 v1
Abstract
A class of nets in constructive (in A.A.Markov's sense) topological space for which the convergence is equivalent to convergence of all subsequences, is described. B.A.Kushner's theorem about coincidence of strong and weak constructive variants of Riemann's integrability, is obtained as corollary.
Cite
@article{arxiv.1010.3446,
title = {On separable nets in constructive topological spaces},
author = {A. A. Vladimirov},
journal= {arXiv preprint arXiv:1010.3446},
year = {2010}
}
Comments
4 pages