Continuity and Nondiscontinuity in Constructive Mathematics

Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics. Journal of Symbolic Logic, 56(4):1349-1354, 1991.

Abstract

Abstract is missing.