3 citations · 3 across the 2 of their papers we have counts for
2 papers
math.LO2025
On the Constructive Theory of Jordan Curves
Douglas S. Bridges
Using a definition of Jordan curve similar to that of Dieudonné, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve…
math.LO2013★ 3 cited
Constructive aspects of Riemann's permutation theorem for series
J. Berger, D. Bridges, H. Diener +1
The notions of permutable and weak-permutable convergence of a series of real numbers are introduced. Classically, these two notions are equivalent, and,…