Abstract
It is shown thatâover Bishop's constructive mathematicsâthe indecomposability of â is equivalent to the statement that all functions from a complete metric space into a metric space are sequentially nondiscontinuous. Furthermore we prove that the indecomposability of â \ {0} is equivalent to the negation of the disjunctive version of Markov's Principle. These results contribute to the programme of Constructive Reverse Mathematics.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have