A predicative completion of a uniform space

Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster. A predicative completion of a uniform space. Annals of Pure and Applied Logic, 163(8):975-980, 2012. [doi]

Abstract

Abstract is missing.