Some problems of definability in the lower predicate calculus
Tom 44 / 1957
Fundamenta Mathematicae 44 (1957), 309-329
DOI: 10.4064/fm-44-3-309-329