3 citations · 3 across the 12 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
math.LO2025
Metric Double Complements of Convex Sets
Douglas S. Bridges
In constructive mathematics the metric complement of a subset S of a metric space X is the set -S of points in X that are bounded away from S. In this note we discuss, within Bisho…
math.LO2025
Affine Hulls and Simplices: a Constructive Analysis
Douglas S. Bridges
This paper deals with certain fundamental results about affine hulls and simplices in a real normed linear space. The framework of the paper is Bishop's constructive mathematics, w…
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…