Core structures for theories
Volume 89 / 1975
Fundamenta Mathematicae 89 (1975), 155-171
DOI: 10.4064/fm-89-2-155-171