Non-finitizability of a weak second-order theory
Tom 103 / 1979
Fundamenta Mathematicae 103 (1979), 83-102
DOI: 10.4064/fm-103-2-83-102