Zaharov Valerij

Functional characterization of absolute and Dedekind completion