A Constructive Look at The Completeness of The Space D(R)

Hajime Ishihara, Satoru Yoshida. A Constructive Look at The Completeness of The Space D(R). Journal of Symbolic Logic, 67(4):1511-1519, 2002.

Abstract

Abstract is missing.