Binding spaces: A unified completion and extension theory
Tom 76 / 1972
Fundamenta Mathematicae 76 (1972), 43-61
DOI: 10.4064/fm-76-1-43-61