Connectedness of the theory of non-surjective injections
Volume 148 / 1995
Fundamenta Mathematicae 148 (1995), 283-308
DOI: 10.4064/fm-148-3-283-308