On expandability of models of arithmetic and set theory to models of weak second-order theories
Tom 122 / 1984
Fundamenta Mathematicae 122 (1984), 57-60
DOI: 10.4064/fm-122-1-57-60