Can someone point me to any substitutes for the partition of unity in Bishop's constructive mathematics?
In particular, under what circumstances can we construct a partition of unity subordinate to some open cover of a compact set in Euclidean space?