On separable nets in constructive topological spaces
classification
🧮 math.LO
keywords
constructiveconvergencenetstopologicalclasscoincidencecorollarydescribed
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.