An unfinitizability proof by means of restricted reduced power
Volume 73 / 1971
Fundamenta Mathematicae 73 (1971), 37-49
DOI: 10.4064/fm-73-1-37-49