Indicators, recursive saturation and expandability
Tom 114 / 1981
Fundamenta Mathematicae 114 (1981), 127-139
DOI: 10.4064/fm-114-2-127-139