The notion of an elementary subsystem for a Boolean-valued relational system
Volume 80 / 1973
Fundamenta Mathematicae 80 (1973), 5-12
DOI: 10.4064/fm-80-1-5-12