The first order properties of Dedekind finite integers
Volume 63 / 1968
Fundamenta Mathematicae 63 (1968), 7-25
DOI: 10.4064/fm-63-1-7-25